2 papers
cs.LO2025
Forward and Backward Simulations for Partially Observable Probability
Chris Chen, Annabelle McIver, Carroll Morgan
Data refinement is the standard extension of a refinement relation from programs to datatypes (i.e. a behavioural subtyping relation). Forward/backward simulations provide a tracta…
cs.LO2024
Source-level reasoning for quantitative information flow
Chris Chen, Annabelle McIver, Carroll Morgan
We present a novel formal system for proving quantitative-leakage properties of programs. Based on a theory of Quantitative Information Flow (QIF) that models information leakage a…