I am a 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 and PhD preparation studies at Saarland University in Saabrücken.
My main research topic is smart contract security, focussing on understanding and formalising frontrunning attacks on blockchains in various settings.
Publications
| Year | Publication |
|---|---|
| 2023 | Sebastian Holler, Sebastian Biewer, Clara Schneidewind HoRStify: Sound Security Analysis of Smart Contracts CSF 2013, Full version |
Teaching
| 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 |