FMBC 2022 August 11, 2022, Haifa, Israel

4th International Workshop on Formal Methods for Blockchains (FMBC 2022)



Zaynah Dargaye and Clara Schneidewind (Eds.)
ISBN 978-3-95977-250-1, OASICS Vol. 105 ISSN 2190-6807
Additional Information
License
Conference Website
Complete volume (PDF, 2 MB)
Search Publication Server


Authors
  • Annenkov, Danil
  • Ballesteros, Ignacio
  • Bartoletti, Massimo
  • Benac-Earle, Clara
  • Brown, Chad E.
  • Ceresa, Martín
  • Dargaye, Zaynah
  • de Barrio, Luis Eduardo Bueso
  • Fredlund, Lars-Åke
  • Gauthier, Thibault
  • Herranz, Ángel
  • Kaliszyk, Cezary
  • Mariño, Julio
  • Milo, Mikkel
  • Nielsen, Eske Hoy
  • Schneidewind, Clara
  • Spitters, Bas
  • Sánchez, César
  • Urban, Josef

  •   
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Dargaye, Zaynah ; Schneidewind, Clara

    Abstract | Document (937 KB) | BibTeX

    MEV-Freedom, in DeFi and Beyond (Invited Talk)
    Authors: Bartoletti, Massimo

    Abstract | Document (320 KB) | BibTeX

    Finding Smart Contract Vulnerabilities with ConCert’s Property-Based Testing Framework
    Authors: Milo, Mikkel ; Nielsen, Eske Hoy ; Annenkov, Danil ; Spitters, Bas

    Abstract | Document (843 KB) | BibTeX

    Automatic Generation of Attacker Contracts in Solidity
    Authors: Ballesteros, Ignacio ; Benac-Earle, Clara ; de Barrio, Luis Eduardo Bueso ; Fredlund, Lars-Åke ; Herranz, Ángel ; Mariño, Julio

    Abstract | Document (594 KB) | BibTeX

    Proofgold: Blockchain for Formal Methods
    Authors: Brown, Chad E. ; Kaliszyk, Cezary ; Gauthier, Thibault ; Urban, Josef

    Abstract | Document (655 KB) | BibTeX

    Multi: A Formal Playground for Multi-Smart Contract Interaction
    Authors: Ceresa, Martín ; Sánchez, César

    Abstract | Document (631 KB) | BibTeX

      




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