Francesca Gherardi (12 November 1955–14 February 2013)

World Pneumonia Day — November 12, 2013

Miscellaneous HOL Examples February 12 , 2013

Isabelle / HOL — Higher - Order Logic February 12 , 2013

The Supplemental Isabelle / HOL Library February 12 , 2013

CS 6113 Lecture 19 Quantitative Information Flow 12 November 2013

Quantitative information flow was first proposed by Denning [5] and Gray [6]. Its goal is to measure the amount of information leaked about a secret by observing the running of a program. Quantitative definitions of information leakage are often borrowed from information theory. Indeed, early models of quantitative information flow directly used the Shannon mutual information I(X;Y ), which mea...