Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu, Marcelo d'Amorim. Quantifying information leaks using reliability analysis. In Neha Rungta, Oksana Tkachuk, editors, 2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014. pages 105-108, ACM, 2014. [doi]
Abstract is missing.