Federico Badaloni

According to our database, Federico Badaloni authored at least 3 papers in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

BitMLx: Secure Cross-chain Smart Contracts For Bitcoin-style Cryptocurrencies.

Federico Badaloni, Sebastian Holler, Chrysoula Oikonomou, Pedro Moreno-Sanchez, Clara Schneidewind

CoRR, January, 2025

Atomic Transfer Graphs: Secure-by-Design Protocols for Heterogeneous Blockchain Ecosystems.

Stephan Dübler, Federico Badaloni, Pedro Moreno-Sanchez, Clara Schneidewind

Proceedings of the 38th IEEE Computer Security Foundations Symposium, 2025

$BitML^{x}$: Secure Cross-Chain Smart Contracts for Bitcoin-Style Cryptocurrencies.

Federico Badaloni, Sebastian Holler, Chrysoula Oikonomou, Pedro Moreno-Sanchez, Clara Schneidewind

Proceedings of the 38th IEEE Computer Security Foundations Symposium, 2025