Stephan Dübler
Since January 2023 I have been a PhD Student at the Heinz Nixdorf Research Group for Cryptocurrencies and Smart Contracts at the Max Planck Institute for Security and Privacy (MPI-SP). I am interested in formal methods and the theoretical foundations of distributed systems as well as microarchitectural security. With a background in mathematics, I am especially concerned with provable security guarantees.
Prior to my work at MPI-SP, I completed my Bachelor’s (2020) and Master’s Degree (2022) in Mathematics at Ruhr University Bochum. Besides my university education, I gained profound practical experience in algorithm design and data science during my work at the Fraunhofer Institute for Software and Systems Engineering.
Publications
| Year | Publication |
|---|---|
| 2026 | Sebastian Holler, Anna Piscitelli, Jannik Albrecht, Stephan Dübler, Ghassan Karame, Clara Schneidewind Don’t let them stack the deck against you: Proving smart contracts robust against frontrunning attacks Under submission |
| 2025 | Stephan Dübler, Federico Badaloni, Pedro Moreno-Sanchez, Clara Schneidewind Atomic Transfer Graphs: Secure-by-design Protocols for Heterogeneous Blockchain Ecosystems CSF 2025 , arXiv |
| 2022 | Marcel Altendeitering, Stephan Dübler, Tobias Moritz Guggenberger Data Quality in Data Ecosystems: Towards a Design Theory AMCIS 2022 |
| 2020 | Marcel Altendeitering, Stephan Dübler Scalable Detection of Concept Drift: A Learning Technique Based on Support Vector Machines Procedia Manufacturing 2020 |
Presentations
Atomic Transfer Graphs: Secure-by-design Protocols for Heterogeneous Blockchain Ecosystems:
Paper presentation at IEEE Computer Security Foundations Symposium (CSF 2025), Santa Cruz, CA, USA
Invited Talk at VISA Research, San Francisco, CA, USA (06/2025)Generalized Swap Graphs for Blockchain Protocols:
Workshop paper presentation at Foundations of Computer Security (FCS 2023, affiliated with CSF 2023), Dubrovnik, Croatia
Invited Talk at IMDEA Software Institute, Madrid, Spain (11/2023)
Teaching
- Student TA: Mathematics Preparatory Course at Ruhr-University Bochum (2018)
Scientific Service
- External Reviewer: The Science of Blockchain Conference 2025 (SBC’25)
- External Reviewer: IEEE Transactions on Information Forensics & Security (Since 2025)
Awards
- Scholarship: Deutschlandstipendium supported by Ruth and Gert Massenberg-Foundation, Sensolytics GmbH (2018 - 2022)
Short CV
- Since 01/2023: PhD Candidate at Max Planck Institute for Security and Privacy / Ruhr-University Bochum
Supervised by Dr. Clara Schneidewind and Prof. Dr. Gilles Barthe - 10/2022 - 12/2022: Research fellow at Fraunhofer Institute for Software and Systems Engineering
- 10/2020 - 09/2022: M.Sc. in Mathematics at Ruhr-University Bochum
- M.Sc. Thesis: Morse theory and Morse homology - Construction and application
Supervised by Prof. Dr. Barney Bramham and Prof. Dr. Alberto Abbondandolo
(Symplectic geometry group) - 10/2020 - 09/2022: Working Student at Fraunhofer Institute for Software and Systems Engineering
- M.Sc. Thesis: Morse theory and Morse homology - Construction and application
- 10/2017 - 09/2020: B.Sc. in Mathematics at Ruhr-University Bochum
- B.Sc. Thesis: Generalization of the Theorem by Serre and Swan using Differential operators
Supervised by Prof. Dr. Gerd Laures and Prof. Dr. Björn Schuster
(Chair of Topology) - 08/2019 - 09/2019: Internship at Fraunhofer Institute for Software and Systems Engineering
- B.Sc. Thesis: Generalization of the Theorem by Serre and Swan using Differential operators
Contact
| E-mail: | stephan.duebler@mpi-sp.org |
| LinkedIn: | Link |
| GoogleScholar: | Link |