CernĂ½, Chatterjee, Henzinger, 2011. The Complexity of Quantitative Information Flow Problems, in: . IEEE.. https://doi.org/10.1109/csf.2011.21