OASIcs, Volume 84, FMBC 2020

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