Thanassis Avgerinos

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 4

Top Topics

Symbolic Execution

Test Generation

Top Venues

USENIX Security Symposium

IEEE Secur. Priv.

Publications

Harrison Green, Thanassis Avgerinos
GraphFuzz: Library API Fuzzing with Lifetime-aware Dataflow Graphs. ICSE (2022)
Sherwin Doroudi, Thanassis Avgerinos, Mor Harchol-Balter
To clean or not to clean: Malware removal strategies for servers under load. Eur. J. Oper. Res. 292 (2) (2021)
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)
David Brumley, Ivan Jager, Thanassis Avgerinos, Edward J. Schwartz
BAP: A Binary Analysis Platform. CAV (2011)
JongHyup Lee, Thanassis Avgerinos, David Brumley
TIE: Principled Reverse Engineering of Types in Binary Programs. NDSS (2011)
Thanassis Avgerinos, Sang Kil Cha, Brent Lim Tze Hao, David Brumley
AEG: Automatic Exploit Generation. NDSS (2011)
Edward J. Schwartz, Thanassis Avgerinos, David Brumley
Q: Exploit Hardening Made Easy. USENIX Security Symposium (2011)
Edward J. Schwartz, Thanassis Avgerinos, David Brumley
All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask). IEEE Symposium on Security and Privacy (2010)
Thanassis Avgerinos, Konstantinos Sagonas
Cleaning up Erlang code is a dirty job but somebody's gotta do it. Erlang Workshop (2009)
Konstantinos Sagonas, Thanassis Avgerinos
Automatic refactoring of Erlang programs. PPDP (2009)