Boniface Hicks

According to our database, Boniface Hicks authored at least 10 papers between 2006 and 2010.

Collaborative distances:

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

2010

A logical specification and analysis for SELinux MLS policy.

Boniface Hicks, Sandra Julieta Rueda, Luke St. Clair, Trent Jaeger, Patrick D. McDaniel

ACM Trans. Inf. Syst. Secur., 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

2008

Noninvasive Methods for Host Certification.

Patrick Traynor, Michael Chien, Scott Weaver, Boniface Hicks, Patrick D. McDaniel

ACM Trans. Inf. Syst. Secur., 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

From Trusted to Secure: Building and Executing Applications That Enforce System Security.

Boniface Hicks, Sandra Julieta Rueda, Trent Jaeger, Patrick D. McDaniel

Proceedings of the 2007 USENIX Annual Technical Conference, 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

Channels: Runtime System Infrastructure for Security-Typed Languages.

Boniface Hicks, Tim Misiak, Patrick D. McDaniel

Proceedings of the 23rd Annual Computer Security Applications Conference (ACSAC 2007), 2007

2006

Non-Invasive Methods for Host Certification.

Patrick Traynor, Michael Chien, Scott Weaver, Boniface Hicks, Patrick D. McDaniel

Proceedings of the Second International Conference on Security and Privacy in Communication Networks and the Workshops, 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

From Languages to Systems: Understanding Practical Application Development in Security-typed Languages.

Boniface Hicks, Kiyan Ahmadizadeh, Patrick D. McDaniel

Proceedings of the 22nd Annual Computer Security Applications Conference (ACSAC 2006), 2006