Search results for "Dave King 0002"

Found 8 publication records. Showing 8 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Boniface Hicks, Sandra Rueda, Dave King 0002, Thomas Moyer, Joshua Schiffman, Yogesh Sreenivasan, Patrick McDaniel, Trent Jaeger	An architecture for enforcing end-to-end access control over web applications.	SACMAT	2010	DBLP DOI BibTeX RDF	policy compliance, access control
1	Dave King 0002, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia	Automating Security Mediation Placement.	ESOP	2010	DBLP DOI BibTeX RDF
1	Dave King 0002, Boniface Hicks, Michael Hicks, Trent Jaeger	Implicit Flows: Can't Live with 'Em, Can't Live without 'Em.	ICISS	2008	DBLP DOI BibTeX RDF
1	Sandra Rueda, Dave King 0002, Trent Jaeger	Verifying Compliance of Trusted Programs.	USENIX Security Symposium	2008	DBLP BibTeX RDF
1	Dave King 0002, Trent Jaeger, Somesh Jha, Sanjit A. Seshia	Effective blame for information-flow violations.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF
1	Boniface Hicks, Dave King 0002, Patrick McDaniel	Jifclipse: development tools for security-typed languages.	PLAS	2007	DBLP DOI BibTeX RDF	Jif, security-typed languages, Eclipse, developer tools
1	Vinod Ganapathy, Dave King 0002, Trent Jaeger, Somesh Jha	Mining Security-Sensitive Operations in Legacy Code Using Concept Analysis.	ICSE	2007	DBLP DOI BibTeX RDF
1	Boniface Hicks, Dave King 0002, Patrick McDaniel, Michael Hicks	Trusted declassification: : high-level policy for a security-typed language.	PLAS	2006	DBLP DOI BibTeX RDF	noninterference modolo trusted methods, FJifP, Jif, security-typed languages, trusted declassification, security policy, information-flow control, declassification

Displaying result #1 - #8 of 8 (100 per page; Change: )

Publications of "Dave King 0002" ( http://dblp.L3S.de/Authors/Dave_King_0002 )