Cache Attacks on Intel SGX. - Johannes Götzfried; Moritz Eckert; Sebastian Schinzel; Tilo Müller (EUROSEC, 2017)

HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security. - Moritz Eckert; Antonio Bianchi; Ruoyu Wang 001; Yan Shoshitaishvili; Christopher Kruegel; Giovanni Vigna (USENIX Security Symposium, 2018)

Arbiter: Bridging the Static and Dynamic Divide in Vulnerability Discovery on Binary Programs. - Jayakrishna Vadayath; Moritz Eckert; Kyle Zeng; Nicolaas Weideman; Gokulkrishna Praveen Menon; Yanick Fratantonio; Davide Balzarotti; Adam Doupé; Tiffany Bao; Ruoyu Wang 001; Christophe Hauser; Yan Shoshitaishvili (USENIX Security Symposium, 2022)