Daniel C. DuVarney

Address obfuscation: an efficient approach to combat a board range of memory error exploits

Sandeep Bhatkar, Daniel C. DuVarney, R. Sekar · USENIX Security Symposium · 2003 · 511 citations

Engineering, Information Security, Computer Architecture +24

Efficient techniques for comprehensive protection from memory error exploits

Sandeep Bhatkar, R. Sekar, Daniel C. DuVarney · 2005 · 297 citations

Model-carrying code

R. Sekar, V. N. Venkatakrishnan, Samik Basu et al. · ACM SIGOPS Operating Systems Review · 2003 · 161 citations

Engineering, Information Security, Verification +16

An efficient and backwards-compatible transformation to ensure memory safety of C programs

Wei Xu, Daniel C. DuVarney, R. Sekar · 2004 · 152 citations

Engineering, Compiler Technology, Computer Architecture +20

Model-carrying code

R. Sekar, V. N. Venkatakrishnan, Samik Basu et al. · 2003 · 67 citations