From trusted to secure: Building and executing applications that enforce system security (2007)

by B Hicks, S Rueda, T Jaeger, P McDaniel
Venue:In Proceedings of the USENIX Annual Technical Conference