Published in: OASIcs, Volume 105, 4th International Workshop on Formal Methods for Blockchains (FMBC 2022)
Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov, and Bas Spitters. Finding Smart Contract Vulnerabilities with ConCert’s Property-Based Testing Framework. In 4th International Workshop on Formal Methods for Blockchains (FMBC 2022). Open Access Series in Informatics (OASIcs), Volume 105, pp. 2:1-2:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{milo_et_al:OASIcs.FMBC.2022.2, author = {Milo, Mikkel and Nielsen, Eske Hoy and Annenkov, Danil and Spitters, Bas}, title = {{Finding Smart Contract Vulnerabilities with ConCert’s Property-Based Testing Framework}}, booktitle = {4th International Workshop on Formal Methods for Blockchains (FMBC 2022)}, pages = {2:1--2:13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-250-1}, ISSN = {2190-6807}, year = {2022}, volume = {105}, editor = {Dargaye, Zaynah and Schneidewind, Clara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2022.2}, URN = {urn:nbn:de:0030-drops-171834}, doi = {10.4230/OASIcs.FMBC.2022.2}, annote = {Keywords: Smart Contracts, Formal Verification, Property-Based Testing, Coq} }
Published in: OASIcs, Volume 95, 3rd International Workshop on Formal Methods for Blockchains (FMBC 2021)
Murdoch J. Gabbay, Arvid Jakobsson, and Kristina Sojakova. Money Grows on (Proof-)Trees: The Formal FA1.2 Ledger Standard. In 3rd International Workshop on Formal Methods for Blockchains (FMBC 2021). Open Access Series in Informatics (OASIcs), Volume 95, pp. 2:1-2:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{gabbay_et_al:OASIcs.FMBC.2021.2, author = {Gabbay, Murdoch J. and Jakobsson, Arvid and Sojakova, Kristina}, title = {{Money Grows on (Proof-)Trees: The Formal FA1.2 Ledger Standard}}, booktitle = {3rd International Workshop on Formal Methods for Blockchains (FMBC 2021)}, pages = {2:1--2:14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-209-9}, ISSN = {2190-6807}, year = {2021}, volume = {95}, editor = {Bernardo, Bruno and Marmsoler, Diego}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2021.2}, URN = {urn:nbn:de:0030-drops-154267}, doi = {10.4230/OASIcs.FMBC.2021.2}, annote = {Keywords: Distributed ledger, smart contracts, Coq, formal verification, blockchain} }
Feedback for Dagstuhl Publishing