The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Daniel C. DuVarney: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.006secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002