JFP Supplement Material

Accompanying the JFP Special Issue on Secure Compilation paper:
Verified secure compilation for mixed-sensitivity concurrent programs

(Accepted manuscript plus appendices are here)

Download Isabelle/HOL Supplement Material