Martn Ceresa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
10
Active years
2016–2025
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CCS | A Secure Sequencer and Data Availability Committee for Rollups. | Margarita Capretto, Martn Ceresa, Antonio Fernndez Anta, Pedro Moreno-Sanchez, Csar Snchez |
| 2025 | MODELS | Modal Abstractions for Smart Contract Validation. | Javier Godoy, Margarita Capretto, Martn Ceresa, Juan Pablo Galeotti, Diego Garbervetsky, Csar Snchez, Sebastin Uchitel |
| 2025 | PADL | MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs. | Felipe Gorostiaga, Martn Ceresa, Csar Snchez |
| 2025 | SSS | Invited Paper: Setchain Algorithms for Blockchain Scalability. | Arivarasan Karmegam, Gabina Luz Bianchi, Margarita Capretto, Martn Ceresa, Antonio Fernndez Anta, Csar Snchez |
| 2024 | ESORICS | Offchain Runtime Verification (for The Tezos Blockchain). | Margarita Capretto, Martn Ceresa, Felipe Gorostiaga, Fernando Macas, Paloma Pedregal, Csar Snchez |
| 2024 | FASE | Monitoring the Future of Smart Contracts. | Margarita Capretto, Martn Ceresa, Csar Snchez |
| 2022 | CAV | Multi: A Formal Playground for Multi-Smart Contract Interaction. | Martn Ceresa, Csar Snchez |
| 2022 | RV | Transaction Monitoring of Smart Contracts. | Margarita Capretto, Martn Ceresa, Csar Snchez |
| 2020 | APLAS | Declarative Stream Runtime Verification (hLola). | Martn Ceresa, Felipe Gorostiaga, Csar Snchez |
| 2016 | HASKELL | QuickFuzz: an automatic random fuzzer for common file formats. | Gustavo Grieco, Martn Ceresa, Pablo Buiras |