Ziyuan Meng. Short Paper: Bounding Information Leakage Using Implication Graph. In Toby C. Murray, Deian Stefan, editors, Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016. pages 77-82, ACM, 2016. [doi]
Abstract is missing.