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

Umesh Shankar, Trent Jaeger, Reiner Sailer

Browse the full NDSS paper archive.