ANANAS - A Framework for Analyzing Android Applications. - Thomas Eder; Michael Rodler; Dieter Vymazal; Markus Zeilinger (ARES, 2013)

Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks. - Michael Rodler; Wenting Li 001; Ghassan O. Karame; Lucas Davi (NDSS, 2019)

Control Behavior Integrity for Distributed Cyber-Physical Systems. - Sridhar Adepu; Ferdinand Brasser; Luis Garcia 001; Michael Rodler; Lucas Davi; Ahmad-Reza Sadeghi; Saman A. Zonouz (ICCPS, 2020)

TeeRex: Discovery and Exploitation of Memory Corruption Vulnerabilities in SGX Enclaves. - Tobias Cloosters; Michael Rodler; Lucas Davi (USENIX Security Symposium, 2020)

My Fuzzer Beats Them All! Developing a Framework for Fair Evaluation and Comparison of Fuzzers. - David Paaßen; Sebastian Surminski; Michael Rodler; Lucas Davi (ESORICS (1), 2021)

EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts. - Michael Rodler; Wenting Li 001; Ghassan O. Karame; Lucas Davi (USENIX Security Symposium, 2021)

xTag: Mitigating Use-After-Free Vulnerabilities via Software-Based Pointer Tagging on Intel x86-64. - Lukas Bernhard; Michael Rodler; Thorsten Holz; Lucas Davi (EuroS&P, 2022)

Tutorial: Analyzing, Exploiting, and Patching Smart Contracts in Ethereum. - Jens-Rene Giesen; Sébastien Andreina; Michael Rodler; Ghassan O. Karame; Lucas Davi (SecDev, 2022)

Practical Mitigation of Smart Contract Bugs. - Jens-Rene Giesen; Sébastien Andreina; Michael Rodler; Ghassan O. Karame; Lucas Davi (CoRR, 2022)

EF↯CF: High Performance Smart Contract Fuzzing for Exploit Generation. - Michael Rodler; David Paaßen; Wenting Li 001; Lukas Bernhard; Thorsten Holz; Ghassan Karame; Lucas Davi (EuroS&P, 2023)

Software (In)Security of Smart Contracts and Trusted Enclaves. - Michael Rodler (2024)

HCC: A Language-Independent Hardening Contract Compiler for Smart Contracts. - Jens-Rene Giesen; Sébastien Andreina; Michael Rodler; Ghassan Karame; Lucas Davi (ACNS (1), 2025)

Wemby's Web: Hunting for Memory Corruption in WebAssembly. - Oussama Draissi; Tobias Cloosters; David Klein 001; Michael Rodler; Marius Musch; Martin Johns; Lucas Davi (Proc. ACM Softw. Eng., 2025)