Jump to Content

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

Trent Jaeger
Reiner Sailer
NDSS (2006)

Abstract

Research Areas