Thanassis Avgerinos

According to our database, Thanassis Avgerinos authored at least 14 papers between 2009 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

GraphFuzz: Library API Fuzzing with Lifetime-aware Dataflow Graphs.

Harrison Green, Thanassis Avgerinos

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

To clean or not to clean: Malware removal strategies for servers under load.

Sherwin Doroudi, Thanassis Avgerinos, Mor Harchol-Balter

Eur. J. Oper. Res., 2021

2018

The Mayhem Cyber Reasoning System.

Thanassis Avgerinos, David Brumley, John Davis, Ryan Goulden, Tyler Nighswander, Alexandre Rebert, Ned Williamson

IEEE Secur. Priv., 2018

2016

Enhancing symbolic execution with veritesting.

Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, David Brumley

Commun. ACM, 2016

2014

Automatic exploit generation.

Thanassis Avgerinos, Sang Kil Cha, Alexandre Rebert, Edward J. Schwartz, Maverick Woo, David Brumley

Commun. ACM, 2014

Optimizing Seed Selection for Fuzzing.

Alexandre Rebert, Sang Kil Cha, Thanassis Avgerinos, Jonathan Foote, David Warren, Gustavo Grieco, David Brumley

Proceedings of the 23rd USENIX Security Symposium, San Diego, CA, USA, August 20-22, 2014., 2014

2012

Unleashing Mayhem on Binary Code.

Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert, David Brumley

Proceedings of the IEEE Symposium on Security and Privacy, 2012

2011

Q: Exploit Hardening Made Easy.

Edward J. Schwartz, Thanassis Avgerinos, David Brumley

Proceedings of the 20th USENIX Security Symposium, 2011

TIE: Principled Reverse Engineering of Types in Binary Programs.

JongHyup Lee, Thanassis Avgerinos, David Brumley

Proceedings of the Network and Distributed System Security Symposium, 2011

AEG: Automatic Exploit Generation.

Thanassis Avgerinos, Sang Kil Cha, Brent Lim Tze Hao, David Brumley

Proceedings of the Network and Distributed System Security Symposium, 2011

BAP: A Binary Analysis Platform.

David Brumley, Ivan Jager, Thanassis Avgerinos, Edward J. Schwartz

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask).

Edward J. Schwartz, Thanassis Avgerinos, David Brumley

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

2009

Automatic refactoring of Erlang programs.

Konstantinos Sagonas, Thanassis Avgerinos

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

Cleaning up Erlang code is a dirty job but somebody's gotta do it.

Thanassis Avgerinos, Konstantinos Sagonas

Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, 2009