Ziyuan Meng, Geoffrey Smith. Calculating bounds on information leakage using two-bit patterns. In Aslan Askarov, Joshua D. Guttman, editors, Proceedings of the 2011 Workshop on Programming Languages and Analysis for Security, PLAS 2011, San Jose, CA, USA, 5 June, 2011. pages 1, ACM, 2011. [doi]
Abstract is missing.