98 citations · 206 across the 5 of their papers we have counts for
Showing 2016 · cs.LOShow all
2 papers · 2 filters
cs.LO2016
A program logic for union bounds
Gilles Barthe, Marco Gaboardi, Benjamin Grégoire +2
We propose a probabilistic Hoare logic aHL based on the union bound, a tool from basic probability theory. While the union bound is simple, it is an extremely common tool for analy…
cs.LO2016★ 98 cited
Proving Differential Privacy via Probabilistic Couplings
Gilles Barthe, Marco Gaboardi, Benjamin Grégoire +2
In this paper, we develop compositional methods for formally verifying differential privacy for algorithms whose analysis goes beyond the composition theorem. Our methods are based…