2021

Rodler, Michael ; Li, Wenting ; Karame, Ghassan O. ; Davi, Lucas (2021)
EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts.
30th USENIX Security Symposium. Vancouver, Canada (11.08.2021-13.08.2021)
Konferenzveröffentlichung, Bibliographie

2020

Cloosters, Tobias ; Rodler, Michael ; Davi, Lucas (2020)
TeeRex: Discovery and Exploitation of Memory Corruption Vulnerabilities in SGX Enclaves.
29th USENIX Security Symposium. virtual Conference (12.08.2020-14.08.2020)
Konferenzveröffentlichung, Bibliographie

Adepu, Sridhar ; Brasser, Ferdinand ; Garcia, Luis ; Rodler, Michael ; Davi, Lucas ; Sadeghi, Ahmad-Reza ; Zonouz, Saman A. (2020)
Control Behavior Integrity for Distributed Cyber-Physical Systems.
11th International Conference on Cyber-Physical Systems (ICCPS). Sydney, Australia (22.04.2020-24.04.2020)
doi: 10.1109/ICCPS48487.2020.00011
Konferenzveröffentlichung, Bibliographie

2019

Surminski, Sebastian ; Rodler, Michael ; Davi, Lucas (2019)
Poster: Automated Evaluation of Fuzzers.
NDSS 2019 : 26th Annual Network and Distributed System Security Symposium. San Diego, California (24.02.2019-27.02.2019)
Konferenzveröffentlichung, Bibliographie

Rodler, Michael ; Li, Wenting ; Karame, Ghassan O. ; Davi, Lucas (2019)
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks.
26th Annual Network & Distributed System Security Symposium (NDSS). Catamaran Resort Hotel & Spa, San Diego, CA
Konferenzveröffentlichung, Bibliographie