Abstract is missing.
- Front Matter, Table of Contents, Preface, Conference Organization [doi]
- Inter-Blockchain Protocols with the Isabelle Infrastructure FrameworkFlorian Kammüller, Uwe Nestmann. [doi]
- Tezla, an Intermediate Representation for Static Analysis of Michelson Smart ContractsJoão Santos Reis, Paul Andrew Crocker, Simão Melo de Sousa. [doi]
- Authenticated Data Structures as Functors in Isabelle/HOLAndreas Lochbihler, Ognjen Maric. [doi]
- Towards Verifying the Bitcoin-S Library (Short Paper)Ramon Boss, Kai Brünnler, Anna Doukmak. [doi]
- On the Formal Verification of the Stellar Consensus ProtocolGiuliano Losa, Mike Dodds. [doi]
- Formal Specification and Verification of Solidity Contracts with Events (Short Paper)Ákos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie. [doi]
- Formal Design, Implementation and Verification of Blockchain Languages Using K (Invited Talk)Grigore Rosu. [doi]
- A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock ContractColin Boyd, Kristian Gjøsteen, Shuang Wu. [doi]
- Mechanized Formal Model of Bitcoin's Blockchain Validation ProceduresKristijan Rupic, Lovro Rozic, Ante Derek. [doi]
- Populating the Peephole Optimizer of a Smart Contract CompilerMaria Anna Schett, Julian Nagele. [doi]
- Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper)Sean Braithwaite, Ethan Buchman, Igor Konnov 0001, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir. [doi]