Portal - FMBC 2021

FMBC 2021	July 18-19, 2021, Los Angeles, California, USA (Virtual Conference)
3rd International Workshop on Formal Methods for Blockchains (FMBC 2021) Bruno Bernardo and Diego Marmsoler (Eds.)
ISBN 978-3-95977-209-9, OASICS Vol. 95	ISSN 2190-6807

Additional Information

Authors

Bernardo, Bruno

Front Matter, Table of Contents, Preface, Conference Organization

Authors: Bernardo, Bruno ; Marmsoler, Diego

Abstract | Document (442 KB) | BibTeX

Towards Verified Price Oracles for Decentralized Exchange Protocols

Authors: Dave, Kinnari ; Sjöberg, Vilhelm ; Sun, Xinyuan

Abstract | Document (608 KB) | BibTeX

Money Grows on (Proof-)Trees: The Formal FA1.2 Ledger Standard

Authors: Gabbay, Murdoch J. ; Jakobsson, Arvid ; Sojakova, Kristina

Abstract | Document (613 KB) | BibTeX

Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper)

Authors: Britten, Daniel ; Sjöberg, Vilhelm ; Reeves, Steve

Abstract | Document (663 KB) | BibTeX

Formally Documenting Tenderbake (Short Paper)

Authors: Conchon, Sylvain ; Korneva, Alexandrina ; Bozman, Çagdas ; Iguernlala, Mohamed ; Mebsout, Alain

Abstract | Document (732 KB) | BibTeX

Towards Contract Modules for the Tezos Blockchain (Short Paper)

Authors: Doan, Thi Thu Ha ; Thiemann, Peter

Abstract | Document (536 KB) | BibTeX