76 citations · 182 across the 15 of their papers we have counts for
1 paper · 1 filter
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…