Daniel C. DuVarney

Publication Activity (10 Years)

Years Active: 2002-2007
Publications (10 Years): 0

Publications

Steve Sims, Daniel C. DuVarney
Experience report: the reactis validation tool. ICFP (2007)
V. N. Venkatakrishnan, Wei Xu, Daniel C. DuVarney, R. Sekar
Provably Correct Runtime Enforcement of Non-interference Properties. ICICS (2006)
Zhenkai Liang, R. Sekar, Daniel C. DuVarney
Automatic Synthesis of Filters to Discard Buffer Overflow Attacks: A Step Towards Realizing Self-Healing Systems. USENIX Annual Technical Conference, General Track (2005)
Sandeep Bhatkar, Daniel C. DuVarney
Efficient Techniques for Comprehensive Protection from Memory Error Exploits. USENIX Security Symposium (2005)
Ajay Gupta, Daniel C. DuVarney
Using Predators to Combat Worms and Viruses: A Simulation-Based Study. ACSAC (2004)
Wei Xu, Daniel C. DuVarney, R. Sekar
An efficient and backwards-compatible transformation to ensure memory safety of C programs. SIGSOFT FSE (2004)
Daniel C. DuVarney, V. N. Venkatakrishnan, Sandeep Bhatkar
SELF: a transparent security extension for ELF binaries. NSPW (2003)
Sandeep Bhatkar, Daniel C. DuVarney, R. Sekar
Address Obfuscation: An Efficient Approach to Combat a Broad Range of Memory Error Exploits. USENIX Security Symposium (2003)
R. Sekar, V. N. Venkatakrishnan, Samik Basu, Sandeep Bhatkar, Daniel C. DuVarney
Model-carrying code: a practical approach for safe execution of untrusted applications. SOSP (2003)
Daniel C. DuVarney, S. Purushothaman Iyer
C Wolf - A Toolset for Extracting Models from C Programs. FORTE (2002)