Sebastian Holler

According to our database, Sebastian Holler authored at least 3 papers between 2023 and 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

$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

2023

HoRStify: Sound Security Analysis of Smart Contracts.

Sebastian Holler, Sebastian Biewer, Clara Schneidewind

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023