Dave King
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
1999–2010
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ESOP | Automating Security Mediation Placement. | Dave King, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia |
| 2010 | SACMAT | An architecture for enforcing end-to-end access control over web applications. | Boniface Hicks, Sandra Julieta Rueda, Dave King, Thomas Moyer, Joshua Schiffman, Yogesh Sreenivasan, Patrick D. McDaniel, Trent Jaeger |
| 2008 | ICISS | Implicit Flows: Can't Live with 'Em, Can't Live without 'Em. | Dave King, Boniface Hicks, Michael Hicks, Trent Jaeger |
| 2007 | ICSE | Mining Security-Sensitive Operations in Legacy Code Using Concept Analysis. | Vinod Ganapathy, Dave King, Trent Jaeger, Somesh Jha |
| 2007 | PLDI | Jifclipse: development tools for security-typed languages. | Boniface Hicks, Dave King, Patrick D. McDaniel |
| 2006 | PLDI | Trusted declassification: : high-level policy for a security-typed language. | Boniface Hicks, Dave King, Patrick D. McDaniel, Michael Hicks |
| 1999 | DAC | A Methodology for the Verification of a "System on Chip". | Daniel Geist, Giora Biran, Tamarah Arons, Michael Slavkin, Yvgeny Nustov, Monica Farkas, Karen Holtz, Andy Long, Dave King, Steve Barret |