Thanassis Avgerinos

About me

Hi, welcome to my homepage! I am a PhD candidate at Carnegie Mellon University. My research interests lie in the intersection of several fields of Computer Science, including Program Analysis and Verification, Software Security, Compilers and Programming Languages. I am very fortunate to be advised by David Brumley.

I did my undergraduate studies at the Electrical and Computer Engineering Department of the National Technical University of Athens, where my advisor was Kostis Sagonas.

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

Contact Info

Office: CIC #2131A, Carnegie Mellon University,
5000 Forbes Avenue, Pittsburgh, Pennsylvania, USA
Phone: 412-268-9276
e-mail: my email should appear here
A photo from a beautiful beach in Greece.

Publications (also available at DBLP)

  1. Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert and David Brumley. Unleashing Mayhem on Binary Code. In Proceedings of the 2012 IEEE Symposium on Security and Privacy (Oakland'12), May 2012. [PDF] [BIB]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]

Invited Talks

  • 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.

Theses

  • Undergraduate Thesis: Thanassis Avgerinos, Automatic Refactoring of Erlang Programs, May 2009. [PDF] [BIB] (Intro in Greek!)

Education

Sep 2009 - Present PhD in Electrical and Computer Engineering, Carnegie Mellon University
Sep 2004 - May 2009 Diploma in Electrical and Computer Engineering, National Technical University of Athens.

Research & Teaching Experience

Sep 2009 - Present 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.

Miscellaneous

  • Programming languages I have used and what I think about them

Past Projects

http://tidier.softlab.ntua.gr I am the main developer of Tidier, a tool for automatic refactoring of Erlang programs. The tool has a freely available web interface.

Free Hit Counter