Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing.

Daniel Wasserrab, Denis Lohner

Browse the full CADE paper archive.