Journals
- “Setchain Algorithms for Blockchain Scalability.” Karmegam, Arivarasan, Gabina Luz Bianchi, Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, and César Sánchez. https://doi.org/10.1016/J.TCS.2026.116145.
- “A Decentralized Sequencer and Data Availability Committee for Rollups Using Set Consensus.” Capretto, Margarita, Martín Ceresa, Antonio Fernández Anta, Pedro Moreno-Sanchez, and César Sánchez. https://doi.org/10.48550/ARXIV.2503.05451.
- “A Secure Sequencer and Data Availability Committee for Rollups (Extended Version).” Capretto, Margarita, Martín Ceresa, Antonio Fernández Anta, Pedro Moreno-Sanchez, and César Sánchez. https://doi.org/10.48550/ARXIV.2509.06614.
- “Setchain Algorithms for Blockchain Scalability.” Karmegam, Arivarasan, Gabina Luz Bianchi, Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, and César Sánchez. https://doi.org/10.48550/ARXIV.2509.09795.
- “Fast and Secure Decentralized Optimistic Rollups Using Setchain.” Capretto, Margarita, Martín Ceresa, Antonio Fernández Anta, Pedro Moreno-Sanchez, and César Sánchez. https://doi.org/10.48550/ARXIV.2406.02316.
- “Improving Blockchain Scalability with the Setchain Data-Type.” Capretto, Margarita, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, and César Sánchez. https://doi.org/10.1145/3626963.
- “Monitoring the Future of Smart Contracts.” Capretto, Margarita, Martín Ceresa, and César Sánchez. https://doi.org/10.48550/ARXIV.2401.12093.
- “Improving Blockchain Scalability with the Setchain Data-Type.” Capretto, Margarita, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, and César Sánchez. https://doi.org/10.48550/ARXIV.2302.04744.
- “Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers.” Capretto, Margarita, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, and César Sánchez. https://doi.org/10.48550/ARXIV.2206.11845.
- “Transaction Monitoring of Smart Contracts.” Capretto, Margarita, Martín Ceresa, and César Sánchez. https://doi.org/10.48550/ARXIV.2207.02517.
- “Effectful Improvement Theory.” Ceresa, Martı́n, and Mauro Jaskelioff. https://doi.org/10.1016/J.SCICO.2022.102792.
- “Multi: A Formal Playground for Multi-Smart Contract Interaction.” Ceresa, Martı́n, and César Sánchez. https://doi.org/10.48550/ARXIV.2207.06681.
- “Declarative Stream Runtime Verification (hLola).” Ceresa, Martı́n, Felipe Gorostiaga, and César Sánchez. https://arxiv.org/abs/2003.00032.
- “QuickFuzz Testing for Fun and Profit.” Grieco, Gustavo, Martín Ceresa, Agustı́n Mista, and Pablo Buiras. https://doi.org/10.1016/J.JSS.2017.09.018.