Thanassis Avgerinos

Publications by Year

Research Areas

Software Testing and Debugging Techniques, Advanced Malware Detection Techniques, Security and Verification in Computing, Software Engineering Research, Parallel Computing and Optimization Techniques

Most-Cited Works

• → All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)(2010)695 cited
• → Unleashing Mayhem on Binary Code(2012)518 cited
• → BAP: A Binary Analysis Platform(2011)419 cited
• → Automatic exploit generation(2014)253 cited
• → Enhancing symbolic execution with veritesting(2014)216 cited
• → AEG: Automatic Exploit Generation(2018)209 cited
• → Q: Exploit Hardening Made Easy(2018)186 cited
• → TIE: Principled Reverse Engineering of Types in Binary Programs(2018)169 cited
• → Optimizing Seed Selection for Fuzzing(2018)153 cited
• → GraphFuzz(2022)35 cited