A Simulation-based Proof Technique forDynamic Information Flow

Abstract

Abstract Information-flow analysis can prevent programs from improperlyrevealing secret information, and a dynamic approach can mak