Daniel C. DuVarney
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2002–2007
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | ICFP | Experience report: the reactis validation tool. | Steve Sims, Daniel C. DuVarney |
| 2006 | ICICS | Provably Correct Runtime Enforcement of Non-interference Properties. | V. N. Venkatakrishnan, Wei Xu, Daniel C. DuVarney, R. Sekar |
| 2005 | USENIX | Automatic Synthesis of Filters to Discard Buffer Overflow Attacks: A Step Towards Realizing Self-Healing Systems. | Zhenkai Liang, R. Sekar, Daniel C. DuVarney |
| 2004 | ACSAC | Using Predators to Combat Worms and Viruses: A Simulation-Based Study. | Ajay Gupta, Daniel C. DuVarney |
| 2003 | NSPW | SELF: a transparent security extension for ELF binaries. | Daniel C. DuVarney, V. N. Venkatakrishnan, Sandeep Bhatkar |
| 2003 | SOSP | Model-carrying code: a practical approach for safe execution of untrusted applications. | R. Sekar, V. N. Venkatakrishnan, Samik Basu, Sandeep Bhatkar, Daniel C. DuVarney |
| 2002 | FORTE | C Wolf - A Toolset for Extracting Models from C Programs. | Daniel C. DuVarney, S. Purushothaman Iyer |