Margarita Capretto

According to our database, Margarita Capretto authored at least 17 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2026

Future Monitors in Optimistic Rollups.

Margarita Capretto, Martín Ceresa, César Sánchez

Proceedings of the 7th International Workshop on Formal Methods for Blockchains, 2026

2025

Setchain Algorithms for Blockchain Scalability.

Arivarasan Karmegam, Gabina Luz Bianchi, Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, César Sánchez

CoRR, September, 2025

A Secure Sequencer and Data Availability Committee for Rollups (Extended Version).

Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Pedro Moreno-Sanchez, César Sánchez

CoRR, September, 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

CoRR, March, 2025

Invited Paper: Setchain Algorithms for Blockchain Scalability.

Arivarasan Karmegam, Gabina Luz Bianchi, Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, César Sánchez

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2025

Modal Abstractions for Smart Contract Validation.

Javier Godoy, Margarita Capretto, Martín Ceresa, Juan Pablo Galeotti, Diego Garbervetsky, César Sánchez, Sebastián Uchitel

Proceedings of the 28th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 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

Proceedings of the 2025 IEEE International Parallel and Distributed Processing Symposium, 2025

A Secure Sequencer and Data Availability Committee for Rollups.

Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Pedro Moreno-Sanchez, César Sánchez

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

2024

Improving Blockchain Scalability with the Setchain Data-Type.

Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez

Distributed Ledger Technol. Res. Pract., June, 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

CoRR, 2024

Monitoring the Future of Smart Contracts.

Margarita Capretto, Martín Ceresa, César Sánchez

Proceedings of the Fundamental Approaches to Software Engineering, 2024

Offchain Runtime Verification (for The Tezos Blockchain).

Margarita Capretto, Martín Ceresa, Felipe Gorostiaga, Fernando Macías, Paloma Pedregal, César Sánchez

Proceedings of the Computer Security. ESORICS 2024 International Workshops, 2024

2022

Transaction Monitoring of Smart Contracts.

Margarita Capretto, Martín Ceresa, César Sánchez

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers.

Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez

Proceedings of the IEEE International Conference on Blockchain, 2022

2021

On Minimum Generalized Manhattan Connections.

Antonios Antoniadis, Margarita Capretto, Parinya Chalermsook, Christoph Damerius, Peter Kling, Lukas Nölke, Nidia Obscura Acosta, Joachim Spoerhase

Proceedings of the Algorithms and Data Structures - 17th International Symposium, 2021

Keep the Dirt: Tainted TreeKEM, Adaptively and Actively Secure Continuous Group Key Agreement.

Karen Klein, Guillermo Pascual-Perez, Michael Walter, Chethan Kamath, Margarita Capretto, Miguel Cueto, Ilia Markov, Michelle Yeo, Joël Alwen, Krzysztof Pietrzak

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

2019

Keep the Dirt: Tainted TreeKEM, an Efficient and Provably Secure Continuous Group Key Agreement Protocol.

Joël Alwen, Margarita Capretto, Miguel Cueto, Chethan Kamath, Karen Klein, Guillermo Pascual-Perez, Krzysztof Pietrzak, Michael Walter

IACR Cryptol. ePrint Arch., 2019