@inproceedings {268069, author = {Sandra Rueda and Dave King and Trent Jaeger}, title = {Verifying Compliance of Trusted Programs}, booktitle = {17th USENIX Security Symposium (USENIX Security 08)}, year = {2008}, address = {San Jose, CA}, url = {https://www.usenix.org/conference/17th-usenix-security-symposium/verifying-compliance-trusted-programs}, publisher = {USENIX Association}, month = jul } @inproceedings {268578, author = {Boniface Hicks and Sandra Rueda and Trent Jaeger}, title = {From Trusted to Secure: Building and Executing Applications That Enforce System Security}, booktitle = {2007 USENIX Annual Technical Conference (USENIX ATC 07)}, year = {2007}, address = {Santa Clara, CA}, url = {https://www.usenix.org/conference/2007-usenix-annual-technical-conference/trusted-secure-building-and-executing}, publisher = {USENIX Association}, month = jun }