Picture of me

I am a second year PhD student in the ECE Departement at Carnegie Mellon University. I am interested in most areas of software security. Right now, I am particularly interested in automatic software verification techniques.

I am lucky to be advised by David Brumley.

Contact

Carnegie Mellon University
CIC 2308
4720 Forbes Avenue
Pittsburgh, PA 15213
ude.umc@erdnaxela

Publications

Optimizing Seed Selection for Fuzzing (BIB)
Alexandre Rebert, Sang Kil Cha, Thanassis Avgerinos, Jonathan Foote, David Warren, Gustavo Grieco, and David Brumley
In Proceedings of the 23rd USENIX Security Symposium, August 2014
Enhancing Symbolic Execution with Veritesting (PDF) (BIB)
Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley
In Proceedings of the 36th International Conference on Software Engineering, June 2014
ACM Distinguished Paper Award
Automatic Exploit Generation (BIB)
Thanassis Avgerinos, Sang Kil Cha, Alexandre Rebert, Edward J. Schwartz, Maverick Woo, and David Brumley
In Communications of the ACM, February 2014
Unleashing Mayhem on Binary Code (PDF) (BIB) (Talk)
Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert and David Brumley
In Proceedings of the 2012 IEEE Symposium on Security and Privacy, May 2012

Education

August 2012 - Present
PhD in Electrical and Computer Engineering, Carnegie Mellon University
Sept 2008 - June 2011
BS in Computer Science, École Polytechnique Fédérale de Lausanne