QuickFuzz: an automatic random fuzzer for common file formats. - Gustavo Grieco; Martín Ceresa; Pablo Buiras (Haskell, 2016)

QuickFuzz testing for fun and profit. - Gustavo Grieco; Martín Ceresa; Agustín Mista; Pablo Buiras (J. Syst. Softw., 2017)

Declarative Stream Runtime Verification (hLola). - Martín Ceresa; Felipe Gorostiaga; César Sánchez 001 (APLAS, 2020)

Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers. - Margarita Capretto; Martín Ceresa; Antonio Fernández Anta; Antonio Russo 004; César Sánchez 001 (Blockchain, 2022)

Multi: A Formal Playground for Multi-Smart Contract Interaction. - Martín Ceresa; César Sánchez 001 (FMBC@CAV, 2022)

Transaction Monitoring of Smart Contracts. - Margarita Capretto; Martín Ceresa; César Sánchez 001 (RV, 2022)

Effectful improvement theory. - Martín Ceresa; Mauro Jaskelioff (Sci. Comput. Program., 2022)

Offchain Runtime Verification (for The Tezos Blockchain). - Margarita Capretto; Martín Ceresa; Felipe Gorostiaga; Fernando Macías; Paloma Pedregal; César Sánchez 001 (ESORICS Workshops (1), 2024)

Monitoring the Future of Smart Contracts. - Margarita Capretto; Martín Ceresa; César Sánchez 001 (FASE, 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 001 (CoRR, 2024)

Improving Blockchain Scalability with the Setchain Data-Type. - Margarita Capretto; Martín Ceresa; Antonio Fernández Anta; Antonio Russo 004; César Sánchez 001 (Distributed Ledger Technol. Res. Pract., 2024)

Towards a Mechanization of Fraud Proof Games in Lean. - Martín Ceresa; César Sánchez 001 (FMBC, 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 001 (IPDPS (Workshops), 2025)

MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs. - Felipe Gorostiaga; Martín Ceresa; César Sánchez 001 (PADL, 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 001 (CoRR, 2025)

Fraud Proof Games. - Martín Ceresa; César Sánchez 001 (DROPS Artifacts, 2025)