Boniface Hicks

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)
Boniface Hicks, Sandra Julieta Rueda, Luke St. Clair, Trent Jaeger, Patrick D. McDaniel
A logical specification and analysis for SELinux MLS policy. ACM Trans. Inf. Syst. Secur. 13 (3) (2010)
Patrick Traynor, Michael Chien, Scott Weaver, Boniface Hicks, Patrick D. McDaniel
Noninvasive Methods for Host Certification. ACM Trans. Inf. Syst. Secur. 11 (3) (2008)
Dave King, Boniface Hicks, Michael Hicks, Trent Jaeger
Implicit Flows: Can't Live with 'Em, Can't Live without 'Em. ICISS (2008)
Boniface Hicks, Dave King, Patrick D. McDaniel
Jifclipse: development tools for security-typed languages. PLAS (2007)
Boniface Hicks, Sandra Julieta Rueda, Luke St. Clair, Trent Jaeger, Patrick D. McDaniel
A logical specification and analysis for SELinux MLS policy. SACMAT (2007)
Boniface Hicks, Sandra Julieta Rueda, Trent Jaeger, Patrick D. McDaniel
From Trusted to Secure: Building and Executing Applications That Enforce System Security. USENIX Annual Technical Conference (2007)
Boniface Hicks, Tim Misiak, Patrick D. McDaniel
Channels: Runtime System Infrastructure for Security-Typed Languages. ACSAC (2007)
Boniface Hicks, Kiyan Ahmadizadeh, Patrick D. McDaniel
From Languages to Systems: Understanding Practical Application Development in Security-typed Languages. ACSAC (2006)
Patrick Traynor, Michael Chien, Scott Weaver, Boniface Hicks, Patrick D. McDaniel
Non-Invasive Methods for Host Certification. SecureComm (2006)
Boniface Hicks, Dave King, Patrick D. McDaniel, Michael Hicks
Trusted declassification: : high-level policy for a security-typed language. PLAS (2006)