Attacker Control and Impact for Confidentiality and Integrity

Aslan Askarov, Andrew Myers

Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se…