Daniel Wasserrab

Papers

authors	title	volume	pages
Daniel Wasserrab and Denis Lohner	Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing	VERIFY-2010. 6th International Verification Workshop	141-155

#	keywords
1	information flow control, Machine Checked Verification, modularity, proof reuse, slicing