HTML Export for FMBC 2022

Copy to Clipboard Download

<h2>OASIcs, Volume 105, FMBC 2022</h2>
<ul>
<li>
    <span class="authors">Zaynah Dargaye and Clara Schneidewind</span>
    <span class="title">OASIcs, Volume 105, FMBC 2022, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2022">10.4230/OASIcs.FMBC.2022</a>
</li>
<li>
    <span class="authors">Zaynah Dargaye and Clara Schneidewind</span>
    <span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2022.0">10.4230/OASIcs.FMBC.2022.0</a>
</li>
<li>
    <span class="authors">Massimo Bartoletti</span>
    <span class="title">MEV-Freedom, in DeFi and Beyond (Invited Talk)</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2022.1">10.4230/OASIcs.FMBC.2022.1</a>
</li>
<li>
    <span class="authors">Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov, and Bas Spitters</span>
    <span class="title">Finding Smart Contract Vulnerabilities with ConCert’s Property-Based Testing Framework</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2022.2">10.4230/OASIcs.FMBC.2022.2</a>
</li>
<li>
    <span class="authors">Ignacio Ballesteros, Clara Benac-Earle, Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, and Julio Mariño</span>
    <span class="title">Automatic Generation of Attacker Contracts in Solidity</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2022.3">10.4230/OASIcs.FMBC.2022.3</a>
</li>
<li>
    <span class="authors">Chad E. Brown, Cezary Kaliszyk, Thibault Gauthier, and Josef Urban</span>
    <span class="title">Proofgold: Blockchain for Formal Methods</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2022.4">10.4230/OASIcs.FMBC.2022.4</a>
</li>
<li>
    <span class="authors">Martín Ceresa and César Sánchez</span>
    <span class="title">Multi: A Formal Playground for Multi-Smart Contract Interaction</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2022.5">10.4230/OASIcs.FMBC.2022.5</a>
</li>
</ul>

The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.

Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode