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