Daniel C. DuVarney

According to our database, Daniel C. DuVarney authored at least 10 papers between 2002 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Experience report: the reactis validation tool.

Steve Sims, Daniel C. DuVarney

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2006

Provably Correct Runtime Enforcement of Non-interference Properties.

V. N. Venkatakrishnan, Wei Xu, Daniel C. DuVarney, R. Sekar

Proceedings of the Information and Communications Security, 8th International Conference, 2006

2005

Efficient Techniques for Comprehensive Protection from Memory Error Exploits.

Sandeep Bhatkar, Daniel C. DuVarney

Proceedings of the 14th USENIX Security Symposium, Baltimore, MD, USA, July 31, 2005

Automatic Synthesis of Filters to Discard Buffer Overflow Attacks: A Step Towards Realizing Self-Healing Systems.

Zhenkai Liang, R. Sekar, Daniel C. DuVarney

Proceedings of the 2005 USENIX Annual Technical Conference, 2005

2004

An efficient and backwards-compatible transformation to ensure memory safety of C programs.

Wei Xu, Daniel C. DuVarney, R. Sekar

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Using Predators to Combat Worms and Viruses: A Simulation-Based Study.

Ajay Gupta, Daniel C. DuVarney

Proceedings of the 20th Annual Computer Security Applications Conference (ACSAC 2004), 2004

2003

Address Obfuscation: An Efficient Approach to Combat a Broad Range of Memory Error Exploits.

Sandeep Bhatkar, Daniel C. DuVarney, R. Sekar

Proceedings of the 12th USENIX Security Symposium, Washington, D.C., USA, August 4-8, 2003, 2003

Model-carrying code: a practical approach for safe execution of untrusted applications.

R. Sekar, V. N. Venkatakrishnan, Samik Basu, Sandeep Bhatkar, Daniel C. DuVarney

Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, 2003

SELF: a transparent security extension for ELF binaries.

Daniel C. DuVarney, V. N. Venkatakrishnan, Sandeep Bhatkar

Proceedings of the New Security Paradigms Workshop 2003, 2003

2002

C Wolf - A Toolset for Extracting Models from C Programs.

Daniel C. DuVarney, S. Purushothaman Iyer

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002