Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow

Yusuke Kawamoto, Fabrizio Biondi, Axel Legay. Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow. In John S. Fitzgerald, Constance L. Heitmeyer, Stefania Gnesi, Anna Philippou, editors, FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Volume 9995 of Lecture Notes in Computer Science, pages 406-425, 2016. [doi]

Abstract

Abstract is missing.