3 papers
cs.CR2025
Atomic Transfer Graphs: Secure-by-design Protocols for Heterogeneous Blockchain Ecosystems
Stephan Dübler, Federico Badaloni, Pedro Moreno-Sanchez +1
The heterogeneity of the blockchain landscape has motivated the design of blockchain protocols tailored to specific blockchains and applications that, hence, require custom securit…
cs.CR2025
BitMLx: Secure Cross-chain Smart Contracts For Bitcoin-style Cryptocurrencies
Federico Badaloni, Sebastian Holler, Chrysoula Oikonomou +2
A smart contract is an interactive program that governs funds in the realm of a single cryptocurrency. Yet, the many existing cryptocurrencies have spurred the design of cross-chai…
cs.CR2024
Fast and Secure Decentralized Optimistic Rollups Using Setchain
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta +2
Modern blockchains face a scalability challenge due to the intrinsic throughput limitations of consensus protocols. Layer 2 optimistic rollups (L2) are a faster alternative that of…