C Wolf - A Toolset for Extracting Models from C Programs. - Daniel C. DuVarney; S. Purushothaman Iyer (FORTE, 2002)

SELF: a transparent security extension for ELF binaries. - Daniel C. DuVarney; V. N. Venkatakrishnan; Sandeep Bhatkar (NSPW, 2003)

Model-carrying code: a practical approach for safe execution of untrusted applications. - R. Sekar 001; V. N. Venkatakrishnan; Samik Basu 001; Sandeep Bhatkar; Daniel C. DuVarney (SOSP, 2003)

Address Obfuscation: An Efficient Approach to Combat a Broad Range of Memory Error Exploits. - Sandeep Bhatkar; Daniel C. DuVarney; R. Sekar 001 (USENIX Security Symposium, 2003)

Using Predators to Combat Worms and Viruses: A Simulation-Based Study. - Ajay Gupta 002; Daniel C. DuVarney (ACSAC, 2004)

An efficient and backwards-compatible transformation to ensure memory safety of C programs. - Wei Xu; Daniel C. DuVarney; R. Sekar 001 (SIGSOFT FSE, 2004)

Automatic Synthesis of Filters to Discard Buffer Overflow Attacks: A Step Towards Realizing Self-Healing Systems. - Zhenkai Liang; R. Sekar 001; Daniel C. DuVarney (USENIX ATC, General Track, 2005)

Efficient Techniques for Comprehensive Protection from Memory Error Exploits. - Sandeep Bhatkar; Daniel C. DuVarney (USENIX Security Symposium, 2005)

Provably Correct Runtime Enforcement of Non-interference Properties. - V. N. Venkatakrishnan; Wei Xu; Daniel C. DuVarney; R. Sekar 001 (ICICS, 2006)

Experience report: the reactis validation tool. - Steve Sims; Daniel C. DuVarney (ICFP, 2007)