From Languages to Systems: Understanding Practical Application Development in Security-typed Languages. - Boniface Hicks; Kiyan Ahmadizadeh; Patrick D. McDaniel (ACSAC, 2006)

Trusted declassification: : high-level policy for a security-typed language. - Boniface Hicks; Dave King 002; Patrick D. McDaniel; Michael Hicks 001 (PLAS, 2006)

Non-Invasive Methods for Host Certification. - Patrick Traynor; Michael Chien; Scott Weaver; Boniface Hicks; Patrick D. McDaniel (SecureComm, 2006)

Channels: Runtime System Infrastructure for Security-Typed Languages. - Boniface Hicks; Tim Misiak; Patrick D. McDaniel (ACSAC, 2007)

Jifclipse: development tools for security-typed languages. - Boniface Hicks; Dave King 002; Patrick D. McDaniel (PLAS, 2007)

From Trusted to Secure: Building and Executing Applications That Enforce System Security. - Boniface Hicks; Sandra Julieta Rueda; Trent Jaeger; Patrick D. McDaniel (USENIX ATC, 2007)

Implicit Flows: Can't Live with 'Em, Can't Live without 'Em. - Dave King 002; Boniface Hicks; Michael Hicks 001; Trent Jaeger (ICISS, 2008)

Noninvasive Methods for Host Certification. - Patrick Traynor; Michael Chien; Scott Weaver; Boniface Hicks; Patrick D. McDaniel (ACM Trans. Inf. Syst. Secur., 2008)

An architecture for enforcing end-to-end access control over web applications. - Boniface Hicks; Sandra Julieta Rueda; Dave King 002; Thomas Moyer; Joshua Schiffman; Yogesh Sreenivasan; Patrick D. McDaniel; Trent Jaeger (SACMAT, 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)