I am a third-year PhD Student at the Max Planck Institute for Security and Privacy in the Heinz Nixdorf Research Group for Cryptocurrencies and Smart Contracts. Before starting my PhD in February 2023, I completed my undergraduate studies at Saarland University and have been preparing for a PhD in the Saarbrücken Graduate School of Computer Science.

In my research, I am exploring the field of smart contract security, leveraging a combination of formal methods and verification techniques. My primary focus lies in analyzing and formalizing frontrunning attacks - a prevalent vulnerability in smart contracts. My ultimate goal is to develop sound tools for provably secure frontrunning resistant smart contracts.

Publications

Year	Publication
2025	Federico Badaloni, Sebastian Holler, Chrysoula Oikonomou, Pedro Moreno-Sanchez, Clara Schneidewind BitMLx: Secure Cross-chain Smart Contracts for Bitcoin-style Cryptocurrencies CSF 2025 (to be published), Full version
2023	Sebastian Holler, Sebastian Biewer, Clara Schneidewind HoRStify: Sound Security Analysis of Smart Contracts CSF 2023, Full version

Teaching

Winter 2024	Guest Lecturer for Proofs are Programs
Summer 2024	Guest Lecturer for Functional Programming
Summer 2023	Teaching Assistant for Proofs are Programs
Summer 2022	Organiser and Coach for Mathematics Precourse
Summer 2022	Organiser of Didactic Seminar for Student TAs
Summer 2022	Student TA for Concurrent Programming
Summer 2021	Organiser and Coach for Mathematics Precourse
Winter 2020	Supervision Student TA for Programming 1
Summer 2020	Lecturer, Coach, Student TA Advisor for Mathematics Precourse
Winter 2019	Student TA for Programming 1

Contact

E-mail:	sebastian.holler@mpi-sp.org
CV:	Click here