Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing | SPP 1496 - RS3

Reliably Secure Software Systems (RS³) –
DFG Priority Programme 1496

D. Wasserrab and Lohner, D., “Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing”, in 6th International Verification Workshop (VERIFY 2010), 2010.