Approximation and Randomization for Quantitative Information-Flow Analysis

Boris Köpf, Andrey Rybalchenko. Approximation and Randomization for Quantitative Information-Flow Analysis. In Proceedings of the 23rd IEEE Computer Security Foundations Symposium, CSF 2010, Edinburgh, United Kingdom, July 17-19, 2010. pages 3-14, IEEE Computer Society, 2010. [doi]

Abstract

Abstract is missing.