Moritz Eckert

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 3

Top Topics

Bounded Model Checking

Top Venues

USENIX Security Symposium

Publications

Jayakrishna Vadayath, Moritz Eckert, Kyle Zeng, Nicolaas Weideman, Gokulkrishna Praveen Menon, Yanick Fratantonio, Davide Balzarotti, Adam Doupé, Tiffany Bao, Ruoyu Wang, Christophe Hauser, Yan Shoshitaishvili
Arbiter: Bridging the Static and Dynamic Divide in Vulnerability Discovery on Binary Programs. USENIX Security Symposium (2022)
Moritz Eckert, Antonio Bianchi, Ruoyu Wang, Yan Shoshitaishvili, Christopher Kruegel, Giovanni Vigna
HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security. USENIX Security Symposium (2018)
Johannes Götzfried, Moritz Eckert, Sebastian Schinzel, Tilo Müller
Cache Attacks on Intel SGX. EUROSEC (2017)