Tim Leek
Publications by Year
Research Areas
Advanced Malware Detection Techniques, Security and Verification in Computing, Software Testing and Debugging Techniques, Software Reliability and Analysis Research, Topic Modeling
Most-Cited Works
- → A hidden Markov model information retrieval system(1999)469 cited
- → Taint-based directed whitebox fuzzing(2009)347 cited
- → LAVA: Large-Scale Automated Vulnerability Addition(2016)297 cited
- → Virtuoso: Narrowing the Semantic Gap in Virtual Machine Introspection(2011)289 cited
- → Testing static analysis tools using exploitable buffer overflows from open source code(2004)225 cited
- → Repeatable Reverse Engineering with PANDA(2015)134 cited
- → Tappan Zee (north) bridge(2013)63 cited
- Experiences in cyber security education: the MIT Lincoln laboratory capture-the-flag exercise(2011)
- → SoK: Enabling Security Analyses of Embedded Systems via Rehosting(2021)46 cited