- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 8 |      | Steve Sims, Daniel C. DuVarney: Experience report: the reactis validation tool. ICFP 2007: 137-140 |
| 2006 | ||
| 7 | | V. N. Venkatakrishnan, Wei Xu, Daniel C. DuVarney, R. Sekar: Provably Correct Runtime Enforcement of Non-interference Properties. ICICS 2006: 332-351 |
| 2005 | ||
| 6 | | 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: 375-378 |
| 2004 | ||
| 5 | | Ajay K. Gupta, Daniel C. DuVarney: Using Predators to Combat Worms and Viruses: A Simulation-Based Study. ACSAC 2004: 116-125 |
| 4 | | Wei Xu, Daniel C. DuVarney, R. Sekar: An efficient and backwards-compatible transformation to ensure memory safety of C programs. SIGSOFT FSE 2004: 117-126 |
| 2003 | ||
| 3 | | Daniel C. DuVarney, V. N. Venkatakrishnan, Sandeep Bhatkar: SELF: a transparent security extension for ELF binaries. NSPW 2003: 29-38 |
| 2 | | 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: 15-28 |
| 2002 | ||
| 1 | | Daniel C. DuVarney, S. Purushothaman Iyer: C Wolf - A Toolset for Extracting Models from C Programs. FORTE 2002: 260-275 |
| 1 | Samik Basu | [2] |
| 2 | Sandeep Bhatkar | [2] [3] |
| 3 | Ajay K. Gupta | [5] |
| 4 | S. Purushothaman Iyer (S. Purushothaman) | [1] |
| 5 | Zhenkai Liang | [6] |
| 6 | R. Sekar | [2] [4] [6] [7] |
| 7 | Steve Sims | [8] |
| 8 | V. N. Venkatakrishnan | [2] [3] [7] |
| 9 | Wei Xu | [4] [7] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page