Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks M Rodler, W Li, GO Karame, L Davi arXiv preprint arXiv:1812.05934, 2018 | 167 | 2018 |
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 | 49 | 2013 |
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 | 40 | 2020 |
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 | 38 | 2021 |
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 | 30 | 2020 |
Practical Mitigation of Smart Contract Bugs JR Giesen, S Andreina, M Rodler, GO Karame, L Davi arXiv preprint arXiv:2203.00364, 2022 | 4 | 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 European Symposium on Research in Computer Security, 173-193, 2021 | 2 | 2021 |
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 | 1 | 2022 |
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 |
Method and contract rewriting framework system for supporting smart contracts in a blockchain network M Rodler, L Davi, G Karame, W Li US Patent App. 17/608,759, 2022 | | 2022 |
Poster: Automated Evaluation of Fuzzers S Surminski, M Rodler, L Davi Internet Society, 2019 | | 2019 |