Demystifying Information Flow Downgrading using the Real--Ideal Paradigm

Suraaj Kanniwadi, Andrew C. Myers

The real--ideal paradigm, an approach to security specification developed in the cryptography community, has the benefit that it can express sophisticated confidentiality and integ…