HTML Export for FMBC 2020

Copy to Clipboard Download

<h2>OASIcs, Volume 84, FMBC 2020</h2>
<ul>
<li>
    <span class="authors">Bruno Bernardo and Diego Marmsoler</span>
    <span class="title">OASIcs, Volume 84, FMBC 2020, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2020">10.4230/OASIcs.FMBC.2020</a>
</li>
<li>
    <span class="authors">Bruno Bernardo and Diego Marmsoler</span>
    <span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2020.0">10.4230/OASIcs.FMBC.2020.0</a>
</li>
<li>
    <span class="authors">Grigore Rosu</span>
    <span class="title">Formal Design, Implementation and Verification of Blockchain Languages Using K (Invited Talk)</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2020.1">10.4230/OASIcs.FMBC.2020.1</a>
</li>
<li>
    <span class="authors">Ákos Hajdu, Dejan Jovanović, and Gabriela Ciocarlie</span>
    <span class="title">Formal Specification and Verification of Solidity Contracts with Events (Short Paper)</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2020.2">10.4230/OASIcs.FMBC.2020.2</a>
</li>
<li>
    <span class="authors">Maria A. Schett and Julian Nagele</span>
    <span class="title">Populating the Peephole Optimizer of a Smart Contract Compiler</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2020.3">10.4230/OASIcs.FMBC.2020.3</a>
</li>
<li>
    <span class="authors">João Santos Reis, Paul Crocker, and Simão Melo de Sousa</span>
    <span class="title">Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2020.4">10.4230/OASIcs.FMBC.2020.4</a>
</li>
<li>
    <span class="authors">Colin Boyd, Kristian Gjøsteen, and Shuang Wu</span>
    <span class="title">A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2020.5">10.4230/OASIcs.FMBC.2020.5</a>
</li>
<li>
    <span class="authors">Andreas Lochbihler and Ognjen Marić</span>
    <span class="title">Authenticated Data Structures as Functors in Isabelle/HOL</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2020.6">10.4230/OASIcs.FMBC.2020.6</a>
</li>
<li>
    <span class="authors">Kristijan Rupić, Lovro Rožić, and Ante Derek</span>
    <span class="title">Mechanized Formal Model of Bitcoin’s Blockchain Validation Procedures</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2020.7">10.4230/OASIcs.FMBC.2020.7</a>
</li>
<li>
    <span class="authors">Ramon Boss, Kai Brünnler, and Anna Doukmak</span>
    <span class="title">Towards Verifying the Bitcoin-S Library (Short Paper)</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2020.8">10.4230/OASIcs.FMBC.2020.8</a>
</li>
<li>
    <span class="authors">Giuliano Losa and Mike Dodds</span>
    <span class="title">On the Formal Verification of the Stellar Consensus Protocol</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2020.9">10.4230/OASIcs.FMBC.2020.9</a>
</li>
<li>
    <span class="authors">Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, and Anca Zamfir</span>
    <span class="title">Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper)</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2020.10">10.4230/OASIcs.FMBC.2020.10</a>
</li>
<li>
    <span class="authors">Florian Kammüller and Uwe Nestmann</span>
    <span class="title">Inter-Blockchain Protocols with the Isabelle Infrastructure Framework</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.FMBC.2020.11">10.4230/OASIcs.FMBC.2020.11</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