Leakwatch: Estimating information leakage from java programs

T Chothia, Y Kawamoto, C Novakovic - … 7-11, 2014. Proceedings, Part II …, 2014 - Springer
Programs that process secret data may inadvertently reveal information about those secrets
in their publicly-observable output. This paper presents LeakWatch, a quantitative …

Hybrid statistical estimation of mutual information for quantifying information flow

Y Kawamoto, F Biondi, A Legay - International Symposium on Formal …, 2016 - Springer
Abstract Analysis of a probabilistic system often requires to learn the joint probability
distribution of its random variables. The computation of the exact distribution is usually an …

Hybrid statistical estimation of mutual information and its application to information flow

F Biondi, Y Kawamoto, A Legay… - Formal Aspects of …, 2019 - Springer
Abstract Analysis of a probabilistic system often requires to learn the joint probability
distribution of its random variables. The computation of the exact distribution is usually an …