Dave King

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

Boniface Hicks, Sandra Julieta Rueda, Dave King, Thomas Moyer, Joshua Schiffman, Yogesh Sreenivasan, Patrick D. McDaniel, Trent Jaeger
An architecture for enforcing end-to-end access control over web applications. SACMAT (2010)
Dave King, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia
Automating Security Mediation Placement. ESOP (2010)
Dave King, Boniface Hicks, Michael Hicks, Trent Jaeger
Implicit Flows: Can't Live with 'Em, Can't Live without 'Em. ICISS (2008)
Dave King, Trent Jaeger, Somesh Jha, Sanjit A. Seshia
Effective blame for information-flow violations. SIGSOFT FSE (2008)
Sandra Julieta Rueda, Dave King, Trent Jaeger
Verifying Compliance of Trusted Programs. USENIX Security Symposium (2008)
Boniface Hicks, Dave King, Patrick D. McDaniel
Jifclipse: development tools for security-typed languages. PLAS (2007)
Vinod Ganapathy, Dave King, Trent Jaeger, Somesh Jha
Mining Security-Sensitive Operations in Legacy Code Using Concept Analysis. ICSE (2007)
Boniface Hicks, Dave King, Patrick D. McDaniel, Michael Hicks
Trusted declassification: : high-level policy for a security-typed language. PLAS (2006)