Compositional Verification and Refinement of Noninterference

Accepted Manuscript and Supplement Material for JFP submission

To appear in the JFP Special Issue on Secure Compilation:
Verified Secure Compilation for Mixed-Sensitivity Concurrent Programs

Download Isabelle/HOL Supplement Material

Contact

Robert Sison, Toby Murray