Alexandre Rebert

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 2

Top Topics

Specification Language

Symbolic Execution

Static Analysis

Simulated Annealing Algorithm

Top Venues

IEEE Symposium on Security and Privacy

USENIX Security Symposium

IEEE Secur. Priv.

Publications

Thanassis Avgerinos, David Brumley, John Davis, Ryan Goulden, Tyler Nighswander, Alexandre Rebert, Ned Williamson
The Mayhem Cyber Reasoning System. IEEE Secur. Priv. 16 (2) (2018)
Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, David Brumley
Enhancing symbolic execution with veritesting. Commun. ACM 59 (6) (2016)
Alexandre Rebert, Sang Kil Cha, Thanassis Avgerinos, Jonathan Foote, David Warren, Gustavo Grieco, David Brumley
Optimizing Seed Selection for Fuzzing. USENIX Security Symposium (2014)
Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, David Brumley
Enhancing symbolic execution with veritesting. ICSE (2014)
Thanassis Avgerinos, Sang Kil Cha, Alexandre Rebert, Edward J. Schwartz, Maverick Woo, David Brumley
Automatic exploit generation. Commun. ACM 57 (2) (2014)
Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert, David Brumley
Unleashing Mayhem on Binary Code. IEEE Symposium on Security and Privacy (2012)