- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| j2 |      | Boniface Hicks, Sandra Rueda, Luke St. Clair, Trent Jaeger, Patrick McDaniel: A logical specification and analysis for SELinux MLS policy. ACM Trans. Inf. Syst. Secur. 13(3) (2010) |
| c9 | | Boniface Hicks, Sandra Rueda, Dave King, Thomas Moyer, Joshua Schiffman, Yogesh Sreenivasan, Patrick McDaniel, Trent Jaeger: An architecture for enforcing end-to-end access control over web applications. SACMAT 2010: 163-172 |
| 2008 | ||
| j1 | | Patrick Traynor, Michael Chien, Scott Weaver, Boniface Hicks, Patrick McDaniel: Noninvasive Methods for Host Certification. ACM Trans. Inf. Syst. Secur. 11(3) (2008) |
| c8 | | Dave King, Boniface Hicks, Michael Hicks, Trent Jaeger: Implicit Flows: Can't Live with 'Em, Can't Live without 'Em. ICISS 2008: 56-70 |
| 2007 | ||
| c7 | | Boniface Hicks, Tim Misiak, Patrick McDaniel: Channels: Runtime System Infrastructure for Security-Typed Languages. ACSAC 2007: 443-452 |
| c6 | | Boniface Hicks, Dave King, Patrick McDaniel: Jifclipse: development tools for security-typed languages. PLAS 2007: 1-10 |
| c5 | | Boniface Hicks, Sandra Rueda, Luke St. Clair, Trent Jaeger, Patrick Drew McDaniel: A logical specification and analysis for SELinux MLS policy. SACMAT 2007: 91-100 |
| c4 | | Boniface Hicks, Sandra Rueda, Trent Jaeger, Patrick Drew McDaniel: From Trusted to Secure: Building and Executing Applications That Enforce System Security. USENIX Annual Technical Conference 2007: 205-218 |
| 2006 | ||
| c3 | | Boniface Hicks, Kiyan Ahmadizadeh, Patrick Drew McDaniel: From Languages to Systems: Understanding Practical Application Development in Security-typed Languages. ACSAC 2006: 153-164 |
| c2 | | Boniface Hicks, Dave King, Patrick McDaniel, Michael Hicks: Trusted declassification: : high-level policy for a security-typed language. PLAS 2006: 65-74 |
| c1 | | Patrick Traynor, Michael Chien, Scott Weaver, Boniface Hicks, Patrick McDaniel: Non-Invasive Methods for Host Certification. SecureComm 2006: 1-10 |
Data released under the ODC-BY 1.0 license — See also our legal information page