Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks M Rodler, W Li, GO Karame, L Davi arXiv preprint arXiv:1812.05934, 2018 | 120 | 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 | 46 | 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 | 23 | 2020 |
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 | 23 | 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 | 13 | 2021 |
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 Davi arXiv preprint arXiv:2203.04117, 2022 | | 2022 |
Practical Mitigation of Smart Contract Bugs JR Giesen, S Andreina, M Rodler, GO Karame, L Davi arXiv preprint arXiv:2203.00364, 2022 | | 2022 |
Poster: Automated Evaluation of Fuzzers S Surminski, M Rodler, L Davi Internet Society, 2019 | | 2019 |