Follow
Michael Rodler
Michael Rodler
Unknown affiliation
Verified email at mrodler.eu - Homepage
Title
Cited by
Cited by
Year
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks
M Rodler, W Li, GO Karame, L Davi
arXiv preprint arXiv:1812.05934, 2018
3142018
EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts
M Rodler, W Li, GO Karame, L Davi
30th {USENIX} Security Symposium ({USENIX} Security 21), 2021
992021
TeeRex: Discovery and Exploitation of Memory Corruption Vulnerabilities in {SGX} Enclaves
T Cloosters, M Rodler, L Davi
29th {USENIX} Security Symposium ({USENIX} Security 20), 2020
742020
Ananas-a framework for analyzing android applications
T Eder, M Rodler, D Vymazal, M Zeilinger
2013 International Conference on Availability, Reliability and Security, 711-719, 2013
542013
Control behavior integrity for distributed cyber-physical systems
S Adepu, F Brasser, L Garcia, M Rodler, L Davi, AR Sadeghi, S Zonouz
2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS …, 2020
402020
EF↯ CF: High Performance Smart Contract Fuzzing for Exploit Generation
M Rodler, D Paaßen, W Li, L Bernhard, T Holz, G Karame, L Davi
2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P), 449-471, 2023
142023
xTag: Mitigating Use-After-Free Vulnerabilities via Software-Based Pointer Tagging on Intel x86-64
L Bernhard, M Rodler, T Holz, L Davit
2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P), 502-519, 2022
132022
Practical Mitigation of Smart Contract Bugs
JR Giesen, S Andreina, M Rodler, GO Karame, L Davi
arXiv preprint arXiv:2203.00364, 2022
132022
My fuzzer beats them all! developing a framework for fair evaluation and comparison of fuzzers
D Paaßen, S Surminski, M Rodler, L Davi
Computer Security–ESORICS 2021: 26th European Symposium on Research in …, 2021
72021
Method and system for supporting smart contracts in a blockchain network
J Giesen, M Rodler, L Davi, S Andreina, G Karame
US Patent App. 18/031,164, 2024
12024
Method and contract rewriting framework system for supporting smart contracts in a blockchain network
M Rodler, L Davi, G Karame, W Li
US Patent 11,914,721, 2024
2024
Software (In) Security of Smart Contracts and Trusted Enclaves
M Rodler
University of Duisburg-Essen, 2023
2023
Tutorial: Analyzing, Exploiting, and Patching Smart Contracts in Ethereum
JR Giesen, S Andreina, M Rodler, GO Karame, L Davi
2022 IEEE Secure Development Conference (SecDev), 3-4, 2022
2022
Poster: Automated Evaluation of Fuzzers
S Surminski, M Rodler, L Davi
Internet Society, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–14