| 2008 |
|---|
| 8 | EE | Dave King,
Boniface Hicks,
Michael Hicks,
Trent Jaeger:
Implicit Flows: Can't Live with 'Em, Can't Live without 'Em.
ICISS 2008: 56-70 |
| 7 | EE | Patrick Traynor,
Michael Chien,
Scott Weaver,
Boniface Hicks,
Patrick McDaniel:
Noninvasive Methods for Host Certification.
ACM Trans. Inf. Syst. Secur. 11(3): (2008) |
| 2007 |
|---|
| 6 | EE | Boniface Hicks,
Tim Misiak,
Patrick McDaniel:
Channels: Runtime System Infrastructure for Security-Typed Languages.
ACSAC 2007: 443-452 |
| 5 | EE | Boniface Hicks,
Dave King,
Patrick McDaniel:
Jifclipse: development tools for security-typed languages.
PLAS 2007: 1-10 |
| 4 | EE | 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 |
| 3 | EE | 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 |
|---|
| 2 | EE | Boniface Hicks,
Kiyan Ahmadizadeh,
Patrick Drew McDaniel:
From Languages to Systems: Understanding Practical Application Development in Security-typed Languages.
ACSAC 2006: 153-164 |
| 1 | EE | Boniface Hicks,
Dave King,
Patrick McDaniel,
Michael Hicks:
Trusted declassification: : high-level policy for a security-typed language.
PLAS 2006: 65-74 |
