Martín Ceresa

26 papers A* 1A 1B 3C 3Journal 13Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Decentralized Sequencer and Data Availability Committee for Rollups Using Set Consensus.
CoRR
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Pedro Moreno-Sanchez, César Sánchez
2025 J jnl
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version).
CoRR
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Pedro Moreno-Sanchez, César Sánchez
2025 A* conf
A Secure Sequencer and Data Availability Committee for Rollups.
CCS
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Pedro Moreno-Sanchez, César Sánchez
2025 C conf
Invited Paper: Setchain Algorithms for Blockchain Scalability.
SSS
Arivarasan Karmegam, Gabina Luz Bianchi, Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, César Sánchez
2025 C conf
MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs.
PADL
Felipe Gorostiaga, Martín Ceresa, César Sánchez
2025 A conf
Modal Abstractions for Smart Contract Validation.
MODELS
Javier Godoy, Margarita Capretto, Martín Ceresa, Juan Pablo Galeotti, Diego Garbervetsky, César Sánchez, Sebastián Uchitel
2025 — conf
Setchain Algorithms for Blockchain Scalability (Extended Abstract).
IPDPS (Workshops)
Arivarasan Karmegam, Gabina Luz Bianchi, Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, César Sánchez
2025 J jnl
Setchain Algorithms for Blockchain Scalability.
CoRR
Arivarasan Karmegam, Gabina Luz Bianchi, Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, César Sánchez
2025 — conf
Towards a Mechanization of Fraud Proof Games in Lean.
FMBC
Martín Ceresa, César Sánchez
2024 J jnl
Fast and Secure Decentralized Optimistic Rollups Using Setchain.
CoRR
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Pedro Moreno-Sanchez, César Sánchez
2024 J jnl
Improving Blockchain Scalability with the Setchain Data-Type.
Distributed Ledger Technol. Res. Pract.
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez
2024 B conf
Monitoring the Future of Smart Contracts.
FASE
Margarita Capretto, Martín Ceresa, César Sánchez
2024 J jnl
Monitoring the Future of Smart Contracts.
CoRR
Margarita Capretto, Martín Ceresa, César Sánchez
2024 — conf
Offchain Runtime Verification (for The Tezos Blockchain).
ESORICS Workshops (1)
Margarita Capretto, Martín Ceresa, Felipe Gorostiaga, Fernando Macías, Paloma Pedregal, César Sánchez
2023 J jnl
Improving Blockchain Scalability with the Setchain Data-type.
CoRR
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez
2022 J jnl
Effectful improvement theory.
Sci. Comput. Program.
Martín Ceresa, Mauro Jaskelioff
2022 — conf
Multi: A Formal Playground for Multi-Smart Contract Interaction.
FMBC@CAV
Martín Ceresa, César Sánchez
2022 J jnl
Multi: a Formal Playground for Multi-Smart Contract Interaction.
CoRR
Martín Ceresa, César Sánchez
2022 — conf
Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers.
Blockchain
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez
2022 J jnl
Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers.
CoRR
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez
2022 B conf
Transaction Monitoring of Smart Contracts.
RV
Margarita Capretto, Martín Ceresa, César Sánchez
2022 J jnl
Transaction Monitoring of Smart Contracts.
CoRR
Margarita Capretto, Martín Ceresa, César Sánchez
2020 B conf
Declarative Stream Runtime Verification (hLola).
APLAS
Martín Ceresa, Felipe Gorostiaga, César Sánchez
2020 J jnl
Declarative Stream Runtime Verification (hLola).
CoRR
Martín Ceresa, Felipe Gorostiaga, César Sánchez
2017 J jnl
QuickFuzz testing for fun and profit.
J. Syst. Softw.
Gustavo Grieco, Martín Ceresa, Agustín Mista, Pablo Buiras
2016 C conf
QuickFuzz: an automatic random fuzzer for common file formats.
Haskell
Gustavo Grieco, Martín Ceresa, Pablo Buiras