Toward Automated Information-Flow Integrity Verification for Security-Critical Applications

Umesh Shankar, Trent Jaeger, Reiner Sailer. Toward Automated Information-Flow Integrity Verification for Security-Critical Applications. In Proceedings of the Network and Distributed System Security Symposium, NDSS 2006, San Diego, California, USA. The Internet Society, 2006. [doi]

Abstract

Abstract is missing.