$BitML^{x}$: Secure Cross-Chain Smart Contracts for Bitcoin-Style Cryptocurrencies. - Federico Badaloni; Sebastian Holler; Chrysoula Oikonomou; Pedro Moreno-Sanchez; Clara Schneidewind (CSF, 2025)

Atomic Transfer Graphs: Secure-by-Design Protocols for Heterogeneous Blockchain Ecosystems. - Stephan Dübler; Federico Badaloni; Pedro Moreno-Sanchez; Clara Schneidewind (CSF, 2025)

BitMLx: Secure Cross-chain Smart Contracts For Bitcoin-style Cryptocurrencies. - Federico Badaloni; Sebastian Holler; Chrysoula Oikonomou; Pedro Moreno-Sanchez; Clara Schneidewind (CoRR, 2025)