---

Download: PDF.

“Toward Automated Information-Flow Integrity Verification for Security-Critical Applications” by Umesh Shankar, Trent Jaeger, and Reiner Sailer. In Proceedings of the 2006 Network and Distributed Systems Security Symposium, Feb. 2006, pp. 267-280.

Download: PDF.

BibTeX entry:

@inproceedings{ndss06,
   author = {Umesh Shankar and Trent Jaeger and Reiner Sailer},
   title = {Toward Automated Information-Flow Integrity Verification for
	Security-Critical Applications},
   booktitle = {Proceedings of the 2006 Network and Distributed Systems
	Security Symposium},
   pages = {267-280},
   month = feb,
   year = {2006}
}

---

(This webpage was created with bibtex2web.)

Back to Trent Jaeger's Publications.