Martín Ceresa

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 16

Top Topics

Signature Verification

Abstract Data Types

Business Transactions

Predicting Future

Top Venues

Sci. Comput. Program.

Publications

Margarita Capretto, Martín Ceresa, César Sánchez
Monitoring the Future of Smart Contracts. FASE (2024)
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Pedro Moreno-Sanchez, César Sánchez
Fast and Secure Decentralized Optimistic Rollups Using Setchain. CoRR (2024)
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez
Improving Blockchain Scalability with the Setchain Data-Type. Distributed Ledger Technol. Res. Pract. 3 (2) (2024)
Margarita Capretto, Martín Ceresa, César Sánchez
Monitoring the Future of Smart Contracts. CoRR (2024)
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez
Improving Blockchain Scalability with the Setchain Data-type. CoRR (2023)
Martín Ceresa, César Sánchez
Multi: A Formal Playground for Multi-Smart Contract Interaction. FMBC@CAV (2022)
Margarita Capretto, Martín Ceresa, César Sánchez
Transaction Monitoring of Smart Contracts. RV (2022)
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez
Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers. Blockchain (2022)
Martín Ceresa, César Sánchez
Multi: a Formal Playground for Multi-Smart Contract Interaction. CoRR (2022)
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez
Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers. CoRR (2022)
Margarita Capretto, Martín Ceresa, César Sánchez
Transaction Monitoring of Smart Contracts. CoRR (2022)
Martín Ceresa, Mauro Jaskelioff
Effectful improvement theory. Sci. Comput. Program. 217 (2022)
Martín Ceresa, Felipe Gorostiaga, César Sánchez
Declarative Stream Runtime Verification (hLola). CoRR (2020)
Martín Ceresa, Felipe Gorostiaga, César Sánchez
Declarative Stream Runtime Verification (hLola). APLAS (2020)
Gustavo Grieco, Martín Ceresa, Agustín Mista, Pablo Buiras
QuickFuzz testing for fun and profit. J. Syst. Softw. 134 (2017)
Gustavo Grieco, Martín Ceresa, Pablo Buiras
QuickFuzz: an automatic random fuzzer for common file formats. Haskell (2016)