Thanassis Avgerinos (Θανάσης Αυγερινός)

A photo from a beautiful beach in Greece.
Hi, I am no longer at CMU! I recently finished my PhD and started ForAllSecure along with David Brumley and Alex Rebert. We're working on some pretty cool projects, including the Cyber Grand Challenge. Consider joining us if you are interested :)
ForAllSecure
I received my PhD in Electrical and Computer Engineering from Carnegie Mellon University. My thesis was on Exploiting Trade-offs in Symbolic Execution for Identifying Security Bugs. I was very fortunate to be advised by David Brumley.
CMU
I completed my undergraduate studies at the Electrical and Computer Engineering Department of the National Technical University of Athens. My thesis was on Automatic Code Refactoring. I was very fortunate to be advised by Kostis Sagonas.
NTUA

Contact: My e-mail address is:


You can get a copy of my CV here (outdated).

Publications (also available at DBLP or Google Scholar)

  1. Alexandre Rebert, Sang Kil Cha, Thanassis Avgerinos, Jonathan Foote, David Warren, Gustavo Grieco, and David Brumley. Optimizing Seed Selection for Fuzzing. In Proceedings of the 23rd USENIX Security Symposium (USENIX'14), August 2014 (to appear).
  2. Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley. Enhancing Symbolic Execution with Veritesting. In Proceedings of the 36th International Conference on Software Engineering (ICSE'14), June 2014 (to appear). [PDF] [BIB]
    • ACM Distinguished Paper Award
  3. Thanassis Avgerinos, Sang Kil Cha, Alexandre Rebert, Edward J. Schwartz, Maverick Woo, and David Brumley. Automatic Exploit Generation. In Communications of the ACM, February 2014. [Online Article] [PDF] [BIB]
  4. Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert and David Brumley. Unleashing Mayhem on Binary Code. In Proceedings of the 33rd IEEE Symposium on Security and Privacy (Oakland'12), May 2012. [PDF] [BIB]
  5. Edward J. Schwartz, Thanassis Avgerinos, and David Brumley. Q: Exploit Hardening Made Easy. In Proceedings of the 20th USENIX Security Symposium (USENIX'11), August 2011. [PDF] [BIB]
  6. David Brumley, Ivan Jager, Thanassis Avgerinos and Edward J. Schwartz. BAP: A Binary Analysis Platform. In Proceedings of the 23rd International Conference on Computer Aided Verification (CAV'11), July 2011. [PDF] [BIB]
  7. Thanassis Avgerinos, Sang Kil Cha, Brent Lim Tze Hao and David Brumley. AEG: Automatic Exploit Generation. In Proceedings of the 2011 Network and Distributed System Security Symposium (NDSS'11), Feb. 2011. [Website] [PDF] [BIB]
  8. JongHyup Lee, Thanassis Avgerinos and David Brumley. TIE: Principled Reverse Engineering of Types in Binary Programs. In Proceedings of the 2011 Network and Distributed System Security Symposium (NDSS'11), Feb. 2011. [PDF] [BIB]
  9. Edward J. Schwartz, Thanassis Avgerinos and David Brumley. All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask). In Proceedings of the 2010 IEEE Symposium on Security and Privacy (Oakland'10), May 2010. [PDF] [BIB]
  10. Konstantinos Sagonas and Thanassis Avgerinos. Automatic Refactoring of Erlang Programs. In Proceedings of the Eleventh International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'09), New York, NY, USA, Sept. 2009. ACM. [PDF] [BIB]
  11. Thanassis Avgerinos and Konstantinos Sagonas. Cleaning up Erlang Code is a Dirty Job but Somebody's Gotta Do It. In Proceedings of the Eighth ACM SIGPLAN Erlang Workshop (Erlang'09), New York, NY, USA, Sept. 2009. ACM. [PDF] [BIB]

Experience

July 2014 - Present Founder and Developer at ForAllSecure.
Sep 2009 - June 2014 Research Assistant in Computer Security.
Fall 2010 Teaching Assistant for 18-487: Introduction to Software Security, Network Security and Applied Cryptography.
Spring 2011 Teaching Assistant for 18-733: Applied Cryptography.
Summer 2011 Microsoft Research Internship, working with Mariusz Jakubowski, Marcus Peinado and the eXtreme Computing Group (XCG).
Spring 2012 Teaching Assistant for 18-732: Secure Software Systems.

Invited Talks

  • Enhancing Symbolic Execution with Veritesting. 11th Annual Programming Language Seminar, NTUA, December 2013.
  • Unleashing Mayhem on Binary Code. 10th Annual Programming Language Seminar, NTUA, December 2012.
  • AEG: Automatic Exploit Generation. 9th Annual Programming Language Seminar, NTUA, December 2011.
  • All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask).
    • Workshop on Offensive Technologies, WOOT, Washington DC, August 2010. [Slides]
    • 8th Annual Programming Language Seminar, NTUA, December 2010.

Education

Sep 2009 - June 2014 PhD in Electrical and Computer Engineering, Carnegie Mellon University
May 2013 Master of Science in Electrical and Computer Engineering, Carnegie Mellon University.
Sep 2004 - May 2009 Diploma in Electrical and Computer Engineering, National Technical University of Athens.