Published in: OASIcs, Volume 105, 4th International Workshop on Formal Methods for Blockchains (FMBC 2022)
Massimo Bartoletti. MEV-Freedom, in DeFi and Beyond (Invited Talk). In 4th International Workshop on Formal Methods for Blockchains (FMBC 2022). Open Access Series in Informatics (OASIcs), Volume 105, p. 1:1, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
@InProceedings{bartoletti:OASIcs.FMBC.2022.1, author = {Bartoletti, Massimo}, title = {{MEV-Freedom, in DeFi and Beyond}}, booktitle = {4th International Workshop on Formal Methods for Blockchains (FMBC 2022)}, pages = {1:1--1:1}, 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.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2022.1}, URN = {urn:nbn:de:0030-drops-171827}, doi = {10.4230/OASIcs.FMBC.2022.1}, annote = {Keywords: Blockchain, Smart Contracts, Formal Security Notion} }
Published in: LIPIcs, Volume 118, 29th International Conference on Concurrency Theory (CONCUR 2018)
Massimo Bartoletti, Laura Bocchi, and Maurizio Murgia. Progress-Preserving Refinements of CTA. In 29th International Conference on Concurrency Theory (CONCUR 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 118, pp. 40:1-40:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
@InProceedings{bartoletti_et_al:LIPIcs.CONCUR.2018.40, author = {Bartoletti, Massimo and Bocchi, Laura and Murgia, Maurizio}, title = {{Progress-Preserving Refinements of CTA}}, booktitle = {29th International Conference on Concurrency Theory (CONCUR 2018)}, pages = {40:1--40:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-087-3}, ISSN = {1868-8969}, year = {2018}, volume = {118}, editor = {Schewe, Sven and Zhang, Lijun}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2018.40}, URN = {urn:nbn:de:0030-drops-95786}, doi = {10.4230/LIPIcs.CONCUR.2018.40}, annote = {Keywords: protocol implementation, communicating timed automata, message passing} }
Feedback for Dagstuhl Publishing