Compositional Verification and Refinement of Noninterference

Supplement Material for JFP submission

Accompanying the JFP Special Issue on Secure Compilation submission
Verified Secure Compilation for Mixed-Sensitivity Concurrent Programs

Download Supplement Material

Contact

Robert Sison, Toby Murray