SMS scnews item created by Munir Hiabu at Wed 29 Jul 2020 1729
Type: Seminar
Distribution: World
Expiry: 5 Aug 2020
Calendar1: 31 Jul 2020 1500-1600
CalLoc1: https://macquarie.zoom.us/j/95020166333
CalTitle1: The Category of Correlations
Auth: munir@119-18-0-247.771200.syd.nbn.aussiebb.net (mhia8050) in SMS-WASM

# Statistics Across Campuses: Annabelle McIver -- The Category of Correlations

The Category of Correlations

Date: 31 July 2020, Friday

Time: 3 pm

Speaker: Prof Annabelle McIver (Macquarie University)

Abstract:

Designing programs that do not leak confidential information continues to be a
challenge.  Part of the difficulty arises when partial information leaks are inevitable,
implying that design interventions can only limit rather than eliminate their impact.
We show, by example, how to gain a better understanding of the consequences of
information leaks by modelling what adversaries might be able to do with any leaked
information.  The presentation is based on the theory of Quantitative Information Flow
and uses the well-known probability monad to provide an information-flow aware semantics
for a small programming language.  We will explore some properties of the language and
demonstrate that "correlations" rather than the more familiar "prior/posterior"
probabilities of Bayesian reasoning are fundamental to understanding how information
leaks in programs.