Daniel Wasserrab, Denis Lohner. Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing. In Markus Aderhold, Serge Autexier, Heiko Mantel, editors, 6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010. Volume 3 of EPiC Series, pages 141-155, EasyChair, 2010. [doi]
Abstract is missing.