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
License
Conference Website
Complete volume (PDF, 1 MB)
Search Publication Server


Authors
  • Bernardo, Bruno
  • Bozman, Çagdas
  • Britten, Daniel
  • Conchon, Sylvain
  • Dave, Kinnari
  • Doan, Thi Thu Ha
  • Gabbay, Murdoch J.
  • Iguernlala, Mohamed
  • Jakobsson, Arvid
  • Korneva, Alexandrina
  • Marmsoler, Diego
  • Mebsout, Alain
  • Reeves, Steve
  • Sjöberg, Vilhelm
  • Sojakova, Kristina
  • Sun, Xinyuan
  • Thiemann, Peter

  •   
    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 (607 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

      




    DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI