Unleashing Mayhem on Binary Code. - Sang Kil Cha; Thanassis Avgerinos; Alexandre Rebert; David Brumley (IEEE Symposium on Security and Privacy, 2012)

Optimizing Seed Selection for Fuzzing. - Alexandre Rebert; Sang Kil Cha; Thanassis Avgerinos; Jonathan Foote; David Warren; Gustavo Grieco; David Brumley (USENIX Security Symposium, 2014)

Automatic exploit generation. - Thanassis Avgerinos; Sang Kil Cha; Alexandre Rebert; Edward J. Schwartz; Maverick Woo; David Brumley (Commun. ACM, 2014)

Enhancing symbolic execution with veritesting. - Thanassis Avgerinos; Alexandre Rebert; Sang Kil Cha; David Brumley (Commun. ACM, 2016)

The Mayhem Cyber Reasoning System. - Thanassis Avgerinos; David Brumley; John Davis; Ryan Goulden; Tyler Nighswander; Alexandre Rebert; Ned Williamson (IEEE Secur. Priv., 2018)