GraphFuzz: Library API Fuzzing with Lifetime-aware Dataflow Graphs
Green, Harrison, Avgerinos, Thanassis
Published in 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) (01.05.2022)
Published in 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) (01.05.2022)
Get full text
Conference Proceeding
To clean or not to clean: Malware removal strategies for servers under load
Doroudi, Sherwin, Avgerinos, Thanassis, Harchol-Balter, Mor
Published in European journal of operational research (16.07.2021)
Published in European journal of operational research (16.07.2021)
Get full text
Journal Article
Unleashing Mayhem on Binary Code
Cha, Sang Kil, Avgerinos, Thanassis, Rebert, Alexandre, Brumley, David
Published in 2012 IEEE Symposium on Security and Privacy (01.05.2012)
Published in 2012 IEEE Symposium on Security and Privacy (01.05.2012)
Get full text
Conference Proceeding
BAP: A Binary Analysis Platform
Brumley, David, Jager, Ivan, Avgerinos, Thanassis, Schwartz, Edward J.
Published in Computer Aided Verification (2011)
Published in Computer Aided Verification (2011)
Get full text
Book Chapter
Automatic Exploit Generation
AVGERINOS, Thanassis, SANG KIL CHA, REBERT, Alexandre, SCHWARTZ, Edward J, WOO, Maverick, BRUMLEY, David
Published in Communications of the ACM (01.02.2014)
Published in Communications of the ACM (01.02.2014)
Get full text
Magazine Article
Enhancing symbolic execution with veritesting
Avgerinos, Thanassis, Rebert, Alexandre, Cha, Sang Kil, Brumley, David
Published in Communications of the ACM (01.06.2016)
Published in Communications of the ACM (01.06.2016)
Get full text
Magazine Article
The Mayhem Cyber Reasoning System
Avgerinos, Thanassis, Brumley, David, Davis, John, Goulden, Ryan, Nighswander, Tyler, Rebert, Alex, Williamson, Ned
Published in IEEE security & privacy (01.03.2018)
Published in IEEE security & privacy (01.03.2018)
Get full text
Magazine Article