Boniface Hicks

11 papers A 2C 3Misc 1Journal 2Unranked 3
YearRankTypeTitle / Venue / Authors
2010 J jnl
A logical specification and analysis for SELinux MLS policy.
ACM Trans. Inf. Syst. Secur.
Boniface Hicks, Sandra Julieta Rueda, Luke St. Clair, Trent Jaeger, Patrick D. McDaniel
2010 C conf
An architecture for enforcing end-to-end access control over web applications.
SACMAT
Boniface Hicks, Sandra Julieta Rueda, Dave King, Thomas Moyer, Joshua Schiffman, Yogesh Sreenivasan, Patrick D. McDaniel, Trent Jaeger
2008 Misc conf
Implicit Flows: Can't Live with 'Em, Can't Live without 'Em.
ICISS
Dave King, Boniface Hicks, Michael Hicks, Trent Jaeger
2008 J jnl
Noninvasive Methods for Host Certification.
ACM Trans. Inf. Syst. Secur.
Patrick Traynor, Michael Chien, Scott Weaver, Boniface Hicks, Patrick D. McDaniel
2007 C conf
A logical specification and analysis for SELinux MLS policy.
SACMAT
Boniface Hicks, Sandra Julieta Rueda, Luke St. Clair, Trent Jaeger, Patrick D. McDaniel
2007 A conf
Channels: Runtime System Infrastructure for Security-Typed Languages.
ACSAC
Boniface Hicks, Tim Misiak, Patrick D. McDaniel
2007 — conf
From Trusted to Secure: Building and Executing Applications That Enforce System Security.
USENIX ATC
Boniface Hicks, Sandra Julieta Rueda, Trent Jaeger, Patrick D. McDaniel
2007 — conf
Jifclipse: development tools for security-typed languages.
PLAS
Boniface Hicks, Dave King, Patrick D. McDaniel
2006 A conf
From Languages to Systems: Understanding Practical Application Development in Security-typed Languages.
ACSAC
Boniface Hicks, Kiyan Ahmadizadeh, Patrick D. McDaniel
2006 C conf
Non-Invasive Methods for Host Certification.
SecureComm
Patrick Traynor, Michael Chien, Scott Weaver, Boniface Hicks, Patrick D. McDaniel
2006 — conf
Trusted declassification: : high-level policy for a security-typed language.
PLAS
Boniface Hicks, Dave King, Patrick D. McDaniel, Michael Hicks