Document Open Access Logo

OASIcs, Volume 105, FMBC 2022, Complete Volume

Authors Zaynah Dargaye, Clara Schneidewind



PDF
Thumbnail PDF

File

OASIcs.FMBC.2022.pdf
  • Filesize: 2 MB
  • 74 pages

Document Identifiers

Author Details

Zaynah Dargaye
  • Nomadic Labs, Paris, France
Clara Schneidewind
  • MPI-SP, Bochum, Germany

Cite AsGet BibTex

Zaynah Dargaye and Clara Schneidewind. OASIcs, Volume 105, FMBC 2022, Complete Volume. In 4th International Workshop on Formal Methods for Blockchains (FMBC 2022). Open Access Series in Informatics (OASIcs), Volume 105, pp. 1-74, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
https://doi.org/10.4230/OASIcs.FMBC.2022

Abstract

OASIcs, Volume 105, FMBC 2022, Complete Volume

Subject Classification

ACM Subject Classification
  • Security and privacy → Formal methods and theory of security
  • Security and privacy → Logic and verification
  • Theory of computation → Program verification
  • Software and its engineering → Formal software verification
  • Security and privacy → Distributed systems security
  • Computer systems organization → Peer-to-peer architectures
Keywords
  • OASIcs, Volume 105, FMBC 2022, Complete Volume

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail