Concepedia

Thanassis Avgerinos

TA

13

Publications

2.5K

Citations

12

H-Index

2009

Active since

Affiliations

Carnegie Mellon University(Current)

National Technical University of Athens

Thanassis Avgerinos is an author at Carnegie Mellon University specializing in computer science, program analysis, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSystem SoftwareFormal VerificationSoftware EngineeringSoftware TestingFormal MethodsComputer Engineering

Publications per year

2009–2022

13

Publications

13

All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)

Edward J. Schwartz, Thanassis Avgerinos, David Brumley · 2010 · 691 citations · Full text

Engineering, Information Security, Dynamic Taint Analysis +21

Unleashing Mayhem on Binary Code

Sang Kil, Thanassis Avgerinos, Alexandre Rebert et al. · 2012 · 515 citations

Engineering, Symbolic Memory, Computer Architecture +18

Automatic exploit generation

Thanassis Avgerinos, Sang Kil, Alexandre Rebert et al. · Communications of the ACM · 2014 · 247 citations

Software Maintenance, Engineering, Information Security +17

Enhancing symbolic execution with veritesting

Thanassis Avgerinos, Alexandre Rebert, Sang Kil et al. · 2014 · 216 citations

Software Maintenance, Cluster Computing, Engineering +21

AEG: Automatic Exploit Generation

Thanassis Avgerinos, Sang Kil, Brent Lim Tze Hao et al. · Figshare · 2011 · 209 citations · Full text

Engineering, Software Engineering, Software Analysis +17

Rows per page

1–5 of 13