HoRStify: Sound Security Analysis of Smart Contracts. - Sebastian Holler; Sebastian Biewer; Clara Schneidewind (CSF, 2023)

$BitML^{x}$: Secure Cross-Chain Smart Contracts for Bitcoin-Style Cryptocurrencies. - Federico Badaloni; Sebastian Holler; Chrysoula Oikonomou; 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)