BBN at TREC7: Using Hidden Markov Models for Information Retrieval. - David R. H. Miller; Tim Leek; Richard M. Schwartz (TREC, 1998)

A Hidden Markov Model Information Retrieval System. - David R. H. Miller; Tim Leek; Richard M. Schwartz (SIGIR, 1999)

Speech and language technologies for audio indexing and retrieval. - John Makhoul; Francis Kubala; Tim Leek; Daben Liu; Long Nguyen 001; Richard M. Schwartz; Amit Srivastava (Proc. IEEE, 2000)

Testing static analysis tools using exploitable buffer overflows from open source code. - Misha Zitser; Richard Lippmann; Tim Leek (SIGSOFT FSE, 2004)

Taint-based directed whitebox fuzzing. - Vijay Ganesh 001; Tim Leek; Martin C. Rinard (ICSE, 2009)

Virtuoso: Narrowing the Semantic Gap in Virtual Machine Introspection. - Brendan Dolan-Gavitt; Tim Leek; Michael Zhivich; Jonathon T. Giffin; Wenke Lee (IEEE Symposium on Security and Privacy, 2011)

Experiences in Cyber Security Education: The MIT Lincoln Laboratory Capture-the-Flag Exercise. - Joseph Werther; Michael Zhivich; Tim Leek; Nickolai Zeldovich (CSET, 2011)

Architecture-Independent Dynamic Information Flow Tracking. - Ryan Whelan; Tim Leek; David R. Kaeli (CC, 2013)

Tappan Zee (north) bridge: mining memory accesses for introspection. - Brendan Dolan-Gavitt; Tim Leek; Josh Hodosh; Wenke Lee (CCS, 2013)

The Fun and Future of CTF. - Andy Davis; Tim Leek; Michael Zhivich; Kyle Gwinnup; William Leonard (3GSE, 2014)

Repeatable Reverse Engineering with PANDA. - Brendan Dolan-Gavitt; Josh Hodosh; Patrick Hulin; Tim Leek; Ryan Whelan (PPREW@ACSAC, 2015)

LAVA: Large-Scale Automated Vulnerability Addition. - Brendan Dolan-Gavitt; Patrick Hulin; Engin Kirda; Tim Leek; Andrea Mambretti; William K. Robertson; Frederick Ulrich; Ryan Whelan (IEEE Symposium on Security and Privacy, 2016)

AutoCTF: Creating Diverse Pwnables via Automated Bug Injection. - Patrick Hulin; Andy Davis; Rahul Sridhar; Andrew Fasano; Cody Gallagher; Aaron Sedlacek; Tim Leek; Brendan Dolan-Gavitt (WOOT, 2017)

Malrec: Compact Full-Trace Malware Recording for Retrospective Deep Analysis. - Giorgio Severi; Tim Leek; Brendan Dolan-Gavitt (DIMVA, 2018)

The Rode0day to Less-Buggy Programs. - Andrew Fasano; Tim Leek; Brendan Dolan-Gavitt; Josh Bundt (IEEE Secur. Priv., 2019)

Evaluating Synthetic Bugs. - Joshua Bundt; Andrew Fasano; Brendan Dolan-Gavitt; William Robertson 002; Tim Leek (AsiaCCS, 2021)

SoK: Enabling Security Analyses of Embedded Systems via Rehosting. - Andrew Fasano; Tiemoko Ballo; Marius Muench; Tim Leek; Alexander Bulekov; Brendan Dolan-Gavitt; Manuel Egele; Aurélien Francillon; Long Lu; Nick Gregory; Davide Balzarotti; William Robertson 002 (AsiaCCS, 2021)

COBRA-GCN: Contrastive Learning to Optimize Binary Representation Analysis with Graph Convolutional Networks. - Michael Wang; Alex Interrante-Grant; Ryan Whelan; Tim Leek (DIMVA, 2022)

Homo in Machina: Improving Fuzz Testing Coverage via Compartment Analysis. - Joshua Bundt; Andrew Fasano; Brendan Dolan-Gavitt; William K. Robertson; Tim Leek (ICST, 2023)

A Study of Multi-Factor and Risk-Based Authentication Availability. - Anthony Gavazzi; Ryan Williams; Engin Kirda; Long Lu; Andre King; Andy Davis; Tim Leek (USENIX Security Symposium, 2023)

Hypervisor Dissociative Execution: Programming Guests for Monitoring, Management, and Security. - Andrew Fasano; Zak Estrada; Tim Leek; William K. Robertson (ACSAC, 2024)

On Training a Neural Network to Explain Binaries. - Alexander Interrante-Grant; Andy Davis; Heather Preslier; Tim Leek (CoRR, 2024)

Synthetic Datasets for Program Similarity Research. - Alexander Interrante-Grant; Michael Wang; Lisa Baer; Ryan Whelan; Tim Leek (CoRR, 2024)