Follow
Thanassis Avgerinos
Title
Cited by
Cited by
Year
All you ever wanted to know about dynamic taint analysis and forward symbolic execution (but might have been afraid to ask)
EJ Schwartz, T Avgerinos, D Brumley
2010 IEEE symposium on Security and privacy, 317-331, 2010
11022010
Unleashing mayhem on binary code
SK Cha, T Avgerinos, A Rebert, D Brumley
2012 IEEE Symposium on Security and Privacy, 380-394, 2012
7712012
BAP: A binary analysis platform
D Brumley, I Jager, T Avgerinos, EJ Schwartz
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
6532011
Automatic exploit generation
T Avgerinos, SK Cha, A Rebert, EJ Schwartz, M Woo, D Brumley
Communications of the ACM 57 (2), 74-84, 2014
5902014
Q: Exploit hardening made easy
EJ Schwartz, T Avgerinos, D Brumley
20th USENIX Security Symposium (USENIX Security 11), 2011
3642011
Enhancing symbolic execution with veritesting
T Avgerinos, A Rebert, SK Cha, D Brumley
Proceedings of the 36th International Conference on Software Engineering …, 2014
3432014
Optimizing seed selection for fuzzing
A Rebert, SK Cha, T Avgerinos, J Foote, D Warren, G Grieco, D Brumley
23rd USENIX Security Symposium (USENIX Security 14), 861-875, 2014
3022014
TIE: Principled reverse engineering of types in binary programs
JH Lee, T Avgerinos, D Brumley
Carnegie Mellon University, 2011
2902011
The mayhem cyber reasoning system
T Avgerinos, D Brumley, J Davis, R Goulden, T Nighswander, A Rebert, ...
IEEE Security & Privacy 16 (2), 52-60, 2018
522018
Methods and Systems for Automatically Testing Software
T Avgerinos, A Rebert, D Brumley, CM University
US Patent 20,150,339,217, 2015
432015
Automated exploit generation
D Brumley, SK Cha, T Avgerinos
US Patent 9,135,405, 2015
392015
Automatic refactoring of Erlang programs
K Sagonas, T Avgerinos
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009
352009
Code base partitioning system
A Avgerinos, MH Jakubowski, M Peinado
US Patent 9,208,319, 2015
242015
Cleaning up Erlang code is a dirty job but somebody's gotta do it
T Avgerinos, K Sagonas
Proceedings of the 8th ACM SIGPLAN workshop on ERLANG, 1-10, 2009
192009
BAP: A binary analysis platform
I Jager, T Avgerinos, E Schwartz, D Brumley
Proceedings of the Conference on Computer Aided Verification, 2011
172011
Graphfuzz: Library API fuzzing with lifetime-aware dataflow graphs
H Green, T Avgerinos
Proceedings of the 44th International Conference on Software Engineering …, 2022
162022
Detecting exploitable bugs in binary code
D Brumley, SK Cha, T Avgerinos, A Rebert
US Patent 9,183,396, 2015
142015
Aeg: Automatic exploit generation
HA Thanassis, CS Kil, B David
ser. Network and Distributed System Security Symposium, 2011
132011
Exploiting Trade-offs in Symbolic Execution for Identifying Security Bugs.
A Avgerinos
Carnegie Mellon University, USA, 2014
72014
TIE: Principled reverse engineering of types in binary programs.(2011)
JH Lee, T Avgerinos, D Brumley
72011
The system can't perform the operation now. Try again later.
Articles 1–20