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. 2006 conf/ndss/2006 NDSS http://www.isoc.org/isoc/conferences/ndss/06/proceedings/papers/automated_information_flow_verification.pdf db/conf/ndss/ndss2006.html#ShankarJS06