Compositional Verification and Refinement of Noninterference

ITP'19 Supplement Material

Accompanying the ITP 2019 paper Verifying That a Compiler Preserves Concurrent Value-Dependent Information-Flow Security

(Extended version with appendix is here)

Download ITP'19 Supplement Material

Contact

Robert Sison, Toby Murray