Conferences
- “A Decentralized Sequencer and Data Availability Committee for Rollups Using Set Consensus.” Capretto, Margarita, Martín Ceresa, Antonio Fernández Anta, Pedro Moreno-Sanchez, and César Sánchez. https://doi.org/10.1109/ICBC67748.2026.11575458.
- “Equilibrium: Preventing Arbitrage Attacks in Optimistic Rollups.” Capretto, Margarita, Martín Ceresa, Hannes Kallwies, and César Sánchez. https://doi.org/10.1109/ICBC67748.2026.11575540.
- “Future Monitors in Optimistic Rollups.” Capretto, Margarita, Martín Ceresa, and César Sánchez. https://doi.org/10.4230/OASICS.FMBC.2026.7.
- “A Secure Sequencer and Data Availability Committee for Rollups.” Capretto, Margarita, Martín Ceresa, Antonio Fernández Anta, Pedro Moreno-Sanchez, and César Sánchez. https://doi.org/10.1145/3719027.3765187.
- “Towards a Mechanization of Fraud Proof Games in Lean.” Ceresa, Martı́n, and César Sánchez. https://doi.org/10.4230/OASICS.FMBC.2025.5.
- “Modal Abstractions for Smart Contract Validation.” Godoy, Javier, Margarita Capretto, Martín Ceresa, Juan Pablo Galeotti, Diego Garbervetsky, César Sánchez, and Sebastián Uchitel. https://doi.org/10.1109/MODELS67397.2025.00022.
- “MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs.” Gorostiaga, Felipe, Martín Ceresa, and César Sánchez. https://doi.org/10.1007/978-3-031-84924-4%5C_4.
- “Setchain Algorithms for Blockchain Scalability (Extended Abstract).” Karmegam, Arivarasan, Gabina Luz Bianchi, Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, and César Sánchez. https://doi.org/10.1109/IPDPSW66978.2025.00219.
- “Invited Paper: Setchain Algorithms for Blockchain Scalability.” Karmegam, Arivarasan, Gabina Luz Bianchi, Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, and César Sánchez. https://doi.org/10.1007/978-3-032-11127-2%5C_23.
- “Offchain Runtime Verification (for the Tezos Blockchain).” Capretto, Margarita, Martín Ceresa, Felipe Gorostiaga, Fernando Macı́as, Paloma Pedregal, and César Sánchez. https://doi.org/10.1007/978-3-031-82349-7%5C_17.
- “Monitoring the Future of Smart Contracts.” Capretto, Margarita, Martín Ceresa, and César Sánchez. https://doi.org/10.1007/978-3-031-57259-3%5C_6.
- “Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers.” Capretto, Margarita, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, and César Sánchez. https://doi.org/10.1109/BLOCKCHAIN55522.2022.00022.
- “Transaction Monitoring of Smart Contracts.” Capretto, Margarita, Martín Ceresa, and César Sánchez. https://doi.org/10.1007/978-3-031-17196-3%5C_9.
- “Multi: A Formal Playground for Multi-Smart Contract Interaction.” Ceresa, Martı́n, and César Sánchez. https://doi.org/10.4230/OASICS.FMBC.2022.5.
- “Declarative Stream Runtime Verification (hLola).” Ceresa, Martı́n, Felipe Gorostiaga, and César Sánchez. https://doi.org/10.1007/978-3-030-64437-6%5C_2.
- “QuickFuzz: An Automatic Random Fuzzer for Common File Formats.” Grieco, Gustavo, Martín Ceresa, and Pablo Buiras. https://doi.org/10.1145/2976002.2976017.