Approximation and Randomization for Quantitative Information-Flow Analysis | IEEE Conference Publication | IEEE Xplore