Get started
Author

Martín Ceresa

Observed names: Ceresa, Martín, Martin Ceresa, Martín A. Ceresa
ORCID: 0000-0003-4691-5831
Observed ORCID: 0000-0003-4691-5831
OpenAlex ID: A5045302798
Towards a Mechanization of Fraud Proof Games in Lean
2025 · Ceresa, Martín, Sánchez, César · OASIcs : OpenAccess Series in Informatics · 40
QuickFuzz: an automatic random fuzzer for common file formats
2016 · Gustavo Grieco, Martín Ceresa, et al. · 32
QuickFuzz testing for fun and profit
2017 · Gustavo Grieco, Martín Ceresa, et al. · Journal of Systems and Software · 22
PDF
Declarative Stream Runtime Verification (hLola)
2020 · Martín Ceresa, Felipe Gorostiaga, et al. · Lecture notes in computer science · 18
PDF
QuickFuzz: an automatic random fuzzer for common file formats
2016 · Gustavo Grieco, Martín Ceresa, et al. · ACM SIGPLAN Notices · 15
Transaction Monitoring of Smart Contracts
2022 · Margarita Capretto, Martin Ceresa, et al. · Lecture notes in computer science · 13
PDF
Improving Blockchain Scalability with the Setchain Data-Type
2023 · Margarita Capretto, Martín Ceresa, et al. · Distributed Ledger Technologies Research and Practice · 11
PDF
Fast and Secure Decentralized Optimistic Rollups Using Setchain
2024 · Capretto, Margarita, Ceresa, Martín, et al. · arXiv (Cornell University) · 7
PDF
Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers
2022 · Margarita Capretto, Martin Ceresa, et al. · IEEE International Conference on Blockchain (Blockchain) · 7
PDF
A Secure Sequencer and Data Availability Committee for Rollups
2025 · Margarita Capretto, Martin Ceresa, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 5
PDF
A Decentralized Sequencer and Data Availability Committee for Rollups Using Set Consensus
2026 · Margarita Capretto, Martín Ceresa, et al. · IEEE International Conference on Blockchain and Cryptocurrency (ICBC) · 4
Monitoring the Future of Smart Contracts
2024 · Margarita Capretto, Martin Ceresa, et al. · Lecture notes in computer science · 4
PDF
Multi: A Formal Playground for Multi-Smart Contract Interaction
2022 · Ceresa, Martín, Sánchez, César · arXiv (Cornell University) · 4
PDF
Setchain algorithms for blockchain scalability
2026 · Arivarasan Karmegam, Gabina Luz Bianchi, et al. · Theoretical Computer Science · 1
PDF
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
2025 · Capretto, Margarita, Ceresa, Martín, et al. · arXiv (Cornell University) · 1
PDF
Offchain Runtime Verification (for The Tezos Blockchain)
2025 · Margarita Capretto, Martin Ceresa, et al. · Lecture notes in computer science · 1
Equilibrium: Preventing Arbitrage Attacks in Optimistic Rollups
2026 · Margarita Capretto, Martín Ceresa, et al. · IEEE International Conference on Blockchain and Cryptocurrency (ICBC)
Artifact - A Decentralized Sequencer and Data Availability Committee for Rollups Using Set Consensus
2026 · Capretto, Margarita, Ceresa, Martín, et al. · Zenodo (CERN European Organization for Nuclear Research)
Future Monitors in Optimistic Rollups
2026 · Capretto, Margarita, Ceresa, Martín, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
PDF
Invited Paper: Setchain Algorithms for Blockchain Scalability
2025 · Arivarasan Karmegam, Gabina Luz Bianchi, et al. · Lecture notes in computer science
PDF
Modal Abstractions for Smart Contract Validation
2025 · Javier Godoy, Margarita Capretto, et al. · ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS)
Setchain Algorithms for Blockchain Scalability (Extended Abstract)
2025 · Arivarasan Karmegam, Gabina Luz Bianchi, et al. · IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum
MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs
2025 · Felipe Gorostiaga, Martin Ceresa, et al. · Lecture notes in computer science
Implementación y evaluación de setchain
2024 · Karmegam, Arivarasan, Luz Bianchi, Gabina, et al. · IMDEA Networks Institute Digital Repository
Effectful improvement theory
2022 · Martín A. Ceresa, Mauro J. Jaskelioff · Science of Computer Programming
Works count: 28
Citation count: 185
H-index: 7
I10-index: 7
Year
Topic
Type