Michael Rodler

21 papers A* 3A 2B 1Journal 10Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
HCC: A Language-Independent Hardening Contract Compiler for Smart Contracts.
ACNS (1)
Jens-Rene Giesen, Sébastien Andreina, Michael Rodler, Ghassan Karame, Lucas Davi
2025 J jnl
Wemby's Web: Hunting for Memory Corruption in WebAssembly.
Proc. ACM Softw. Eng.
Oussama Draissi, Tobias Cloosters, David Klein, Michael Rodler, Marius Musch, Martin Johns, Lucas Davi
2024 — —
Software (In)Security of Smart Contracts and Trusted Enclaves.
Michael Rodler
2023 J jnl
EF/CF: High Performance Smart Contract Fuzzing for Exploit Generation.
CoRR
Michael Rodler, David Paaßen, Wenting Li, Lukas Bernhard, Thorsten Holz, Ghassan Karame, Lucas Davi
2023 A conf
EF↯CF: High Performance Smart Contract Fuzzing for Exploit Generation.
EuroS&P
Michael Rodler, David Paaßen, Wenting Li, Lukas Bernhard, Thorsten Holz, Ghassan Karame, Lucas Davi
2022 J jnl
Practical Mitigation of Smart Contract Bugs.
CoRR
Jens-Rene Giesen, Sébastien Andreina, Michael Rodler, Ghassan O. Karame, Lucas Davi
2022 — conf
Tutorial: Analyzing, Exploiting, and Patching Smart Contracts in Ethereum.
SecDev
Jens-Rene Giesen, Sébastien Andreina, Michael Rodler, Ghassan O. Karame, Lucas Davi
2022 A conf
xTag: Mitigating Use-After-Free Vulnerabilities via Software-Based Pointer Tagging on Intel x86-64.
EuroS&P
Lukas Bernhard, Michael Rodler, Thorsten Holz, Lucas Davi
2022 J jnl
xTag: Mitigating Use-After-Free Vulnerabilities via Software-Based Pointer Tagging on Intel x86-64.
CoRR
Lukas Bernhard, Michael Rodler, Thorsten Holz, Lucas Davi
2021 A* conf
EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts.
USENIX Security Symposium
Michael Rodler, Wenting Li, Ghassan O. Karame, Lucas Davi
2021 — conf
My Fuzzer Beats Them All! Developing a Framework for Fair Evaluation and Comparison of Fuzzers.
ESORICS (1)
David Paaßen, Sebastian Surminski, Michael Rodler, Lucas Davi
2021 J jnl
My Fuzzer Beats Them All! Developing a Framework for Fair Evaluation and Comparison of Fuzzers.
CoRR
David Paaßen, Sebastian Surminski, Michael Rodler, Lucas Davi
2020 — conf
Control Behavior Integrity for Distributed Cyber-Physical Systems.
ICCPS
Sridhar Adepu, Ferdinand Brasser, Luis Garcia, Michael Rodler, Lucas Davi, Ahmad-Reza Sadeghi, Saman A. Zonouz
2020 J jnl
EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts.
CoRR
Michael Rodler, Wenting Li, Ghassan O. Karame, Lucas Davi
2020 A* conf
TeeRex: Discovery and Exploitation of Memory Corruption Vulnerabilities in SGX Enclaves.
USENIX Security Symposium
Tobias Cloosters, Michael Rodler, Lucas Davi
2020 J jnl
TeeRex: Discovery and Exploitation of Memory Corruption Vulnerabilities in SGX Enclaves.
CoRR
Tobias Cloosters, Michael Rodler, Lucas Davi
2019 A* conf
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks.
NDSS
Michael Rodler, Wenting Li, Ghassan O. Karame, Lucas Davi
2018 J jnl
Control Behavior Integrity for Distributed Cyber-Physical Systems.
CoRR
Sridhar Adepu, Ferdinand Brasser, Luis Garcia, Michael Rodler, Lucas Davi, Ahmad-Reza Sadeghi, Saman A. Zonouz
2018 J jnl
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks.
CoRR
Michael Rodler, Wenting Li, Ghassan O. Karame, Lucas Davi
2013 J jnl
ANANAS - A Framework For Analyzing Android Applications.
CoRR
Thomas Eder, Michael Rodler, Dieter Vymazal, Markus Zeilinger
2013 B conf
ANANAS - A Framework for Analyzing Android Applications.
ARES
Thomas Eder, Michael Rodler, Dieter Vymazal, Markus Zeilinger