Martín Ceresa

According to our database, Martín Ceresa authored at least 22 papers between 2016 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Future Monitors in Optimistic Rollups.

Margarita Capretto, Martín Ceresa, César Sánchez

Proceedings of the 7th International Workshop on Formal Methods for Blockchains, 2026

2025

Setchain Algorithms for Blockchain Scalability.

Arivarasan Karmegam, Gabina Luz Bianchi, Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, César Sánchez

CoRR, September, 2025

A Secure Sequencer and Data Availability Committee for Rollups (Extended Version).

Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Pedro Moreno-Sanchez, César Sánchez

CoRR, September, 2025

Fraud Proof Games.

Martín Ceresa, César Sánchez

Dataset, May, 2025

A Decentralized Sequencer and Data Availability Committee for Rollups Using Set Consensus.

Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Pedro Moreno-Sanchez, César Sánchez

CoRR, March, 2025

Invited Paper: Setchain Algorithms for Blockchain Scalability.

Arivarasan Karmegam, Gabina Luz Bianchi, Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, César Sánchez

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2025

MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs.

Felipe Gorostiaga, Martín Ceresa, César Sánchez

Proceedings of the Practical Aspects of Declarative Languages, 2025

Modal Abstractions for Smart Contract Validation.

Javier Godoy, Margarita Capretto, Martín Ceresa, Juan Pablo Galeotti, Diego Garbervetsky, César Sánchez, Sebastián Uchitel

Proceedings of the 28th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2025

Setchain Algorithms for Blockchain Scalability (Extended Abstract).

Arivarasan Karmegam, Gabina Luz Bianchi, Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, César Sánchez

Proceedings of the 2025 IEEE International Parallel and Distributed Processing Symposium, 2025

Towards a Mechanization of Fraud Proof Games in Lean.

Martín Ceresa, César Sánchez

Proceedings of the 6th International Workshop on Formal Methods for Blockchains, 2025

A Secure Sequencer and Data Availability Committee for Rollups.

Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Pedro Moreno-Sanchez, César Sánchez

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

2024

Improving Blockchain Scalability with the Setchain Data-Type.

Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez

Distributed Ledger Technol. Res. Pract., June, 2024

Fast and Secure Decentralized Optimistic Rollups Using Setchain.

Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Pedro Moreno-Sanchez, César Sánchez

CoRR, 2024

Monitoring the Future of Smart Contracts.

Margarita Capretto, Martín Ceresa, César Sánchez

Proceedings of the Fundamental Approaches to Software Engineering, 2024

Offchain Runtime Verification (for The Tezos Blockchain).

Margarita Capretto, Martín Ceresa, Felipe Gorostiaga, Fernando Macías, Paloma Pedregal, César Sánchez

Proceedings of the Computer Security. ESORICS 2024 International Workshops, 2024

2022

Effectful improvement theory.

Martín Ceresa, Mauro Jaskelioff

Sci. Comput. Program., 2022

Transaction Monitoring of Smart Contracts.

Margarita Capretto, Martín Ceresa, César Sánchez

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Multi: A Formal Playground for Multi-Smart Contract Interaction.

Martín Ceresa, César Sánchez

Proceedings of the 4th International Workshop on Formal Methods for Blockchains, 2022

Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers.

Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez

Proceedings of the IEEE International Conference on Blockchain, 2022

2020

Declarative Stream Runtime Verification (hLola).

Martín Ceresa, Felipe Gorostiaga, César Sánchez

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2017

QuickFuzz testing for fun and profit.

Gustavo Grieco, Martín Ceresa, Agustín Mista, Pablo Buiras

J. Syst. Softw., 2017

2016

QuickFuzz: an automatic random fuzzer for common file formats.

Gustavo Grieco, Martín Ceresa, Pablo Buiras

Proceedings of the 9th International Symposium on Haskell, 2016