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