Dr. Michael Rodler: Arbeitsgruppe Systemsicherheit

Zur Person

Michael Rodler war wissenschaftlicher Mitarbeiter am Lehrstuhl für Systemsicherheit an der Universität Duisburg-Essen. Er promovierte erfolgreich zum Thema Software (In)Security of Smart Contracts and Trusted Enclaves. Heute arbeitet er bei Amazon Web Services (AWS).

Lebenslauf

Jahr	Position / Studienprogramm
2017 - 2022	Wissenschaftlicher Mitarbeiter an der Universität Duisburg-Essen
10/2013 - 06/2017	Masterstudium Informatik an der Technischen Universität Graz (Abschluss mit Dipl.-Ing.)
10/2009 - 07/2013	Studiengang Sichere Informationssysteme an der Fachhochschule Oberösterreich Campus Hagenberg (Abschluss mit BSc)

Ehrungen und Auszeichnungen

Publikationen

Oussama Draissi, Tobias Cloosters, David Klein, Michael Rodler, Marius Musch, Martin Johns and Lucas Davi: Wemby’s Web: Hunting for Memory Corruption in WebAssembly. In: ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), Association for Computing Machinery (ACM), Trondheim, Norway, 34. Edition, jun 2025. [DOI]

Jens-Rene Giesen, Sebastien Andreina, Michael Rodler, Ghassan Karame and Lucas Davi: HCC: A Language-Independent Hardening Contract Compiler for Smart Contracts. In: Proc. of 23rd International Conference on Applied Cryptography and Network Security (ACNS), Springer, Munich, Germany, 2025.

Michael Rodler, David Paaßen, Wenting Li, Lukas Bernhard, Thorsten Holz, Ghassan Karame and Lucas Davi: EF/CF: High Performance Smart Contract Fuzzing for Exploit Generation. In: Proc. of 8th IEEE European Symposium on Security and Privacy (EuroSP), , jul 2023.

Jens-Rene Giesen, Sebastien Andreina, Michael Rodler, Ghassan O. Karame and Lucas Davi: Tutorial: Analyzing, Exploiting, and Patching Smart Contracts in Ethereum. In: Proc. of 7th IEEE Secure Development Conference (SecDev), , oct 2022.

Lukas Bernhard, Michael Rodler, Thorsten Holz and Lucas Davi: xTag: Mitigating Use-After-Free Vulnerabilities via Software-Based Pointer Tagging on Intel x86-64. In: Proc. of 7th IEEE European Symposium on Security and Privacy, , jun 2022.

David Paaßen, Sebastian Surminski, Michael Rodler and Lucas Davi: My Fuzzer Beats Them All! Developing a Framework for Fair Evaluation and Comparison of Fuzzers. In: Proc. of 26th European Symposium on Research in Computer Security, Volume 2021, Springer International Publishing, Darmstadt, oct 2021.

Michael Rodler, Wenting Li, Ghassan O. Karame and Lucas Davi: EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts. In: Proc. of 30th USENIX Security Symposium, USENIX Association, Vancouver, B.C., Canada, aug 2021.

Tobias Cloosters, Michael Rodler and Lucas Davi: TeeRex: Discovery and Exploitation of Memory Corruption Vulnerabilities in SGX Enclaves. In: Proc. of 29th USENIX Security Symposium, , aug 2020.

Sridhar Adepu, Ferdinand Brasser, Luis Garcia, Michael Rodler, Lucas Davi, Ahmad-Reza Sadeghi and Saman Zonouz: Control Behavior Integrity for Distributed Cyber-Physical Systems. In: 11th IEEE/ACM Conference on Cyber-Physical Systems (ICCPS'20), , apr 2020.

Michael Rodler, Wenting Li, Ghassan Karame and Lucas Davi: Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks. In: Proc. of 26th Network and Distributed System Security Symposium (NDSS), , feb 2019.

Sebastian Surminski, Michael Rodler and Lucas Davi: Poster: Automated Evaluation of Fuzzers. In: Proc. of 26th Network and Distributed System Security Symposium (NDSS), , feb 2019.

Thomas Eder, Michael Rodler, Dieter Vymazal and Markus Zeilinger: ANANAS - A Framework for Analyzing Android Applications.Availability, Reliability and Security (ARES), 2013 Eighth International Conference on, nov 2013. [DOI]

Vorträge

Rodler, Michael: Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks. ACM AFT, 21. Oct. 2019, Zürich.
Rodler, Michael: Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks. Network and Distributed System Security Symposium (NDSS), 27. Feb. 2019, San Diego.

Dr. Michael Rodler

Ehem. Wissenschaftlicher Mitarbeiter