Margarita Capretto, Martín Ceresa, Felipe Gorostiaga, Fernando Macías, Paloma Pedregal, César Sánchez 0001. Offchain Runtime Verification (for The Tezos Blockchain). In Joaquín García-Alfaro, Ken Barker 0001, Guillermo Navarro-Arribas, Cristina Pérez-Solà, Sergi Delgado-Segura, Sokratis K. Katsikas, Frédéric Cuppens, Costas Lambrinoudakis, Nora Cuppens-Boulahia, Marek Pawlicki, Michal Choras, editors, Computer Security. ESORICS 2024 International Workshops - DPM, CBT, and CyberICPS, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part I. Volume 15263 of Lecture Notes in Computer Science, pages 242-259, Springer, 2024. [doi]
@inproceedings{CaprettoCGMP024,
title = {Offchain Runtime Verification (for The Tezos Blockchain)},
author = {Margarita Capretto and Martín Ceresa and Felipe Gorostiaga and Fernando Macías and Paloma Pedregal and César Sánchez 0001},
year = {2024},
doi = {10.1007/978-3-031-82349-7_17},
url = {https://doi.org/10.1007/978-3-031-82349-7_17},
researchr = {https://researchr.org/publication/CaprettoCGMP024},
cites = {0},
citedby = {0},
pages = {242-259},
booktitle = {Computer Security. ESORICS 2024 International Workshops - DPM, CBT, and CyberICPS, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part I},
editor = {Joaquín García-Alfaro and Ken Barker 0001 and Guillermo Navarro-Arribas and Cristina Pérez-Solà and Sergi Delgado-Segura and Sokratis K. Katsikas and Frédéric Cuppens and Costas Lambrinoudakis and Nora Cuppens-Boulahia and Marek Pawlicki and Michal Choras},
volume = {15263},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-82349-7},
}