 | 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 |
