Correlated Secrets in Quantitative Information Flow | IEEE Conference Publication | IEEE Xplore