Approximation and randomization for quantitative information-flow analysis (2010)

by Boris Köpf, Andrey Rybalchenko
Venue:In Proceedings of the IEEE Computer Security Foundations Symposium (CSF