Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks M Rodler, W Li, GO Karame, L Davi arXiv preprint arXiv:1812.05934, 2018 | 314 | 2018 |
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 | 99 | 2021 |
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 | 74 | 2020 |
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 | 54 | 2013 |
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 | 40 | 2020 |
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 | 14 | 2023 |
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 | 13 | 2022 |
Practical Mitigation of Smart Contract Bugs JR Giesen, S Andreina, M Rodler, GO Karame, L Davi arXiv preprint arXiv:2203.00364, 2022 | 13 | 2022 |
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 | 7 | 2021 |
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 | 1 | 2024 |
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 |