Boniface Hicks
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
2006–2010
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | SACMAT | 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 |
| 2008 | ICISS | Implicit Flows: Can't Live with 'Em, Can't Live without 'Em. | Dave King, Boniface Hicks, Michael Hicks, Trent Jaeger |
| 2007 | ACSAC | Channels: Runtime System Infrastructure for Security-Typed Languages. | Boniface Hicks, Tim Misiak, Patrick D. McDaniel |
| 2007 | PLDI | Jifclipse: development tools for security-typed languages. | Boniface Hicks, Dave King, Patrick D. McDaniel |
| 2007 | USENIX | From Trusted to Secure: Building and Executing Applications That Enforce System Security. | Boniface Hicks, Sandra Julieta Rueda, Trent Jaeger, Patrick D. McDaniel |
| 2007 | SACMAT | A logical specification and analysis for SELinux MLS policy. | Boniface Hicks, Sandra Julieta Rueda, Luke St. Clair, Trent Jaeger, Patrick D. McDaniel |
| 2006 | ACSAC | From Languages to Systems: Understanding Practical Application Development in Security-typed Languages. | Boniface Hicks, Kiyan Ahmadizadeh, Patrick D. McDaniel |
| 2006 | PLDI | Trusted declassification: : high-level policy for a security-typed language. | Boniface Hicks, Dave King, Patrick D. McDaniel, Michael Hicks |
| 2006 | SecureComm | Non-Invasive Methods for Host Certification. | Patrick Traynor, Michael Chien, Scott Weaver, Boniface Hicks, Patrick D. McDaniel |