Dave King

According to our database, Dave King authored at least 8 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

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

Proceedings of the 15th ACM Symposium on Access Control Models and Technologies, 2010

Automating Security Mediation Placement.

Dave King, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia

Proceedings of the Programming Languages and Systems, 2010

2008

Verifying Compliance of Trusted Programs.

Sandra Julieta Rueda, Dave King, Trent Jaeger

Proceedings of the 17th USENIX Security Symposium, 2008

Effective blame for information-flow violations.

Dave King, Trent Jaeger, Somesh Jha, Sanjit A. Seshia

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Implicit Flows: Can't Live with 'Em, Can't Live without 'Em.

Dave King, Boniface Hicks, Michael Hicks, Trent Jaeger

Proceedings of the Information Systems Security, 4th International Conference, 2008

2007

Jifclipse: development tools for security-typed languages.

Boniface Hicks, Dave King, Patrick D. McDaniel

Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, 2007

Mining Security-Sensitive Operations in Legacy Code Using Concept Analysis.

Vinod Ganapathy, Dave King, Trent Jaeger, Somesh Jha

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006

Trusted declassification: : high-level policy for a security-typed language.

Boniface Hicks, Dave King, Patrick D. McDaniel, Michael Hicks

Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, 2006