Login / Signup
Moritz Eckert
Publication Activity (10 Years)
Years Active: 2017-2022
Publications (10 Years): 3
Top Topics
Bounded Model Checking
Top Venues
USENIX Security Symposium
EUROSEC
</>
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)