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

Trent Jaeger
Reiner Sailer
NDSS(2006)

Abstract

Research Areas