Tri Minh Ngo, Marieke Huisman. Quantitative Security Analysis for Programs with Low Input and Noisy Output. In Jan Jürjens, Frank Piessens, Nataliia Bielova, editors, Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings. Volume 8364 of Lecture Notes in Computer Science, pages 77-94, Springer, 2014. [doi]
Abstract is missing.