“Verifying Compliance of Trusted Programs” by Sandra Rueda, David H. King, and Trent Jaeger. In Proceedings of the 17^th USENIX Security Symposium, Aug. 2008, pp. 321-334.

BibTeX entry:

@inproceedings{rkj08,
   author = {Sandra Rueda and David H. King and Trent Jaeger},
   title = {Verifying Compliance of Trusted Programs},
   booktitle = {Proceedings of the {\it 17^{th}} USENIX Security Symposium},
   pages = {321--334},
   month = aug,
   year = {2008}
}

(This webpage was created with bibtex2web.)

Back to Trent Jaeger's Publications.