The complexity of quantitative information flow problems (2011)

by P Černý, K Chatterjee, T A Henzinger
Venue:In CSF ’11