28 citations · 123 across the 13 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017★ 25 cited
Approximate Span Liftings
Tetsuya Sato, Gilles Barthe, Marco Gaboardi +2
We develop new abstractions for reasoning about relaxations of differential privacy: Rényi differential privacy, zero-concentrated differential privacy, and truncated concentrated…
cs.LO2017
Relational -Liftings for Differential Privacy
Gilles Barthe, Thomas Espitau, Justin Hsu +2
Recent developments in formal verification have identified approximate liftings (also known as approximate couplings) as a clean, compositional abstraction for proving differential…