 | 2009 |
|---|
| 6 |       | Sandra Rueda,
Hayawardh Vijayakumar,
Trent Jaeger:
Analysis of virtual machine system policies.
SACMAT 2009: 227-236 |
| 2008 |
|---|
| 5 | | Sandra Rueda,
Yogesh Sreenivasan,
Trent Jaeger:
Flexible security configuration for virtual machines.
CSAW 2008: 35-44 |
| 4 | | Sandra Rueda,
Dave King,
Trent Jaeger:
Verifying Compliance of Trusted Programs.
USENIX Security Symposium 2008: 321-334 |
| 2007 |
|---|
| 3 | | William Enck,
Sandra Rueda,
Joshua Schiffman,
Yogesh Sreenivasan,
Luke St. Clair,
Trent Jaeger,
Patrick McDaniel:
Protecting users from "themselves".
CSAW 2007: 29-36 |
| 2 | | 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 |
| 1 | | 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 |
