Telecharger Cours

Model Checking Malicious Code

Abstract. We present a machine-checked correctness proof for information flow noninterference based on interprocedural slicing.



Download