Michael Rodler

According to our database, Michael Rodler authored at least 13 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Wemby's Web: Hunting for Memory Corruption in WebAssembly.

Oussama Draissi, Tobias Cloosters, David Klein, Michael Rodler, Marius Musch, Martin Johns, Lucas Davi

Proc. ACM Softw. Eng., 2025

HCC: A Language-Independent Hardening Contract Compiler for Smart Contracts.

Jens-Rene Giesen, Sébastien Andreina, Michael Rodler, Ghassan Karame, Lucas Davi

Proceedings of the Applied Cryptography and Network Security, 2025

2024

Software (In)Security of Smart Contracts and Trusted Enclaves.

Michael Rodler

PhD thesis, 2024

2023

EF↯CF: High Performance Smart Contract Fuzzing for Exploit Generation.

Michael Rodler, David Paaßen, Wenting Li, Lukas Bernhard, Thorsten Holz, Ghassan Karame, Lucas Davi

Proceedings of the 8th IEEE European Symposium on Security and Privacy, 2023

2022

Practical Mitigation of Smart Contract Bugs.

Jens-Rene Giesen, Sébastien Andreina, Michael Rodler, Ghassan O. Karame, Lucas Davi

CoRR, 2022

Tutorial: Analyzing, Exploiting, and Patching Smart Contracts in Ethereum.

Jens-Rene Giesen, Sébastien Andreina, Michael Rodler, Ghassan O. Karame, Lucas Davi

Proceedings of the IEEE Secure Development Conference, 2022

xTag: Mitigating Use-After-Free Vulnerabilities via Software-Based Pointer Tagging on Intel x86-64.

Lukas Bernhard, Michael Rodler, Thorsten Holz, Lucas Davi

Proceedings of the 7th IEEE European Symposium on Security and Privacy, 2022

2021

EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts.

Michael Rodler, Wenting Li, Ghassan O. Karame, Lucas Davi

Proceedings of the 30th USENIX Security Symposium, 2021

My Fuzzer Beats Them All! Developing a Framework for Fair Evaluation and Comparison of Fuzzers.

David Paaßen, Sebastian Surminski, Michael Rodler, Lucas Davi

Proceedings of the Computer Security - ESORICS 2021, 2021

2020

TeeRex: Discovery and Exploitation of Memory Corruption Vulnerabilities in SGX Enclaves.

Tobias Cloosters, Michael Rodler, Lucas Davi

Proceedings of the 29th USENIX Security Symposium, 2020

Control Behavior Integrity for Distributed Cyber-Physical Systems.

Sridhar Adepu, Ferdinand Brasser, Luis Garcia, Michael Rodler, Lucas Davi, Ahmad-Reza Sadeghi, Saman A. Zonouz

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

2019

Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks.

Michael Rodler, Wenting Li, Ghassan O. Karame, Lucas Davi

Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

2013

ANANAS - A Framework for Analyzing Android Applications.

Thomas Eder, Michael Rodler, Dieter Vymazal, Markus Zeilinger

Proceedings of the 2013 International Conference on Availability, Reliability and Security, 2013