Michael Rodler

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 16

Top Topics

Countermeasures

Security Vulnerabilities

Memory Footprint

Protection Mechanisms

Top Venues

USENIX Security Symposium

Publications

Michael Rodler, David Paaßen, Wenting Li, Lukas Bernhard, Thorsten Holz, Ghassan Karame, Lucas Davi
EF/CF: High Performance Smart Contract Fuzzing for Exploit Generation. CoRR (2023)
Michael Rodler, David Paaßen, Wenting Li, Lukas Bernhard, Thorsten Holz, Ghassan Karame, Lucas Davi
EF↯CF: High Performance Smart Contract Fuzzing for Exploit Generation. EuroS&P (2023)
Jens-Rene Giesen, Sébastien Andreina, Michael Rodler, Ghassan O. Karame, Lucas Davi
Tutorial: Analyzing, Exploiting, and Patching Smart Contracts in Ethereum. SecDev (2022)
Lukas Bernhard, Michael Rodler, Thorsten Holz, Lucas Davi
xTag: Mitigating Use-After-Free Vulnerabilities via Software-Based Pointer Tagging on Intel x86-64. CoRR (2022)
Lukas Bernhard, Michael Rodler, Thorsten Holz, Lucas Davi
xTag: Mitigating Use-After-Free Vulnerabilities via Software-Based Pointer Tagging on Intel x86-64. EuroS&P (2022)
Jens-Rene Giesen, Sébastien Andreina, Michael Rodler, Ghassan O. Karame, Lucas Davi
Practical Mitigation of Smart Contract Bugs. CoRR (2022)
David Paaßen, Sebastian Surminski, Michael Rodler, Lucas Davi
My Fuzzer Beats Them All! Developing a Framework for Fair Evaluation and Comparison of Fuzzers. ESORICS (1) (2021)
Michael Rodler, Wenting Li, Ghassan O. Karame, Lucas Davi
EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts. USENIX Security Symposium (2021)
David Paaßen, Sebastian Surminski, Michael Rodler, Lucas Davi
My Fuzzer Beats Them All! Developing a Framework for Fair Evaluation and Comparison of Fuzzers. CoRR (2021)
Michael Rodler, Wenting Li, Ghassan O. Karame, Lucas Davi
EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts. CoRR (2020)
Sridhar Adepu, Ferdinand Brasser, Luis Garcia, Michael Rodler, Lucas Davi, Ahmad-Reza Sadeghi, Saman A. Zonouz
Control Behavior Integrity for Distributed Cyber-Physical Systems. ICCPS (2020)
Tobias Cloosters, Michael Rodler, Lucas Davi
TeeRex: Discovery and Exploitation of Memory Corruption Vulnerabilities in SGX Enclaves. USENIX Security Symposium (2020)
Tobias Cloosters, Michael Rodler, Lucas Davi
TeeRex: Discovery and Exploitation of Memory Corruption Vulnerabilities in SGX Enclaves. CoRR (2020)
Michael Rodler, Wenting Li, Ghassan O. Karame, Lucas Davi
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks. NDSS (2019)
Michael Rodler, Wenting Li, Ghassan O. Karame, Lucas Davi
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks. CoRR (2018)
Sridhar Adepu, Ferdinand Brasser, Luis Garcia, Michael Rodler, Lucas Davi, Ahmad-Reza Sadeghi, Saman A. Zonouz
Control Behavior Integrity for Distributed Cyber-Physical Systems. CoRR (2018)
Thomas Eder, Michael Rodler, Dieter Vymazal, Markus Zeilinger
ANANAS - A Framework For Analyzing Android Applications. CoRR (2013)
Thomas Eder, Michael Rodler, Dieter Vymazal, Markus Zeilinger
ANANAS - A Framework for Analyzing Android Applications. ARES (2013)