Search the dblp DataBase

Publications of Author

1. Ajay Gupta, Daniel C. DuVarney
   Using Predators to Combat Worms and Viruses: A Simulation-Based Study. [Citation Graph (0, 0)][DBLP]
   ACSAC, 2004, pp:116-125 [Conf]
   
2. Daniel C. DuVarney, S. Purushothaman Iyer
   C Wolf - A Toolset for Extracting Models from C Programs. [Citation Graph (0, 0)][DBLP]
   FORTE, 2002, pp:260-275 [Conf]
   
3. V. N. Venkatakrishnan, Wei Xu, Daniel C. DuVarney, R. Sekar
   Provably Correct Runtime Enforcement of Non-interference Properties. [Citation Graph (0, 0)][DBLP]
   ICICS, 2006, pp:332-351 [Conf]
   
4. Daniel C. DuVarney, V. N. Venkatakrishnan, Sandeep Bhatkar
   SELF: a transparent security extension for ELF binaries. [Citation Graph (0, 0)][DBLP]
   NSPW, 2003, pp:29-38 [Conf]
   
5. Wei Xu, Daniel C. DuVarney, R. Sekar
   An efficient and backwards-compatible transformation to ensure memory safety of C programs. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 2004, pp:117-126 [Conf]
   
6. R. Sekar, V. N. Venkatakrishnan, Samik Basu, Sandeep Bhatkar, Daniel C. DuVarney
   Model-carrying code: a practical approach for safe execution of untrusted applications. [Citation Graph (0, 0)][DBLP]
   SOSP, 2003, pp:15-28 [Conf]
   
7. Zhenkai Liang, R. Sekar, Daniel C. DuVarney
   Automatic Synthesis of Filters to Discard Buffer Overflow Attacks: A Step Towards Realizing Self-Healing Systems. [Citation Graph (0, 0)][DBLP]
   USENIX Annual Technical Conference, General Track, 2005, pp:375-378 [Conf]
   
8. Steve Sims, Daniel C. DuVarney
   Experience report: the reactis validation tool. [Citation Graph (0, 0)][DBLP]
   ICFP, 2007, pp:137-140 [Conf]