279 citations · 1.4k across the 46 of their papers we have counts for
Showing 2017 · cs.LOShow all
2 papers · 2 filters
cs.LO2017★ 12 cited
Probabilistic Couplings for Probabilistic Reasoning
Justin Hsu
This thesis explores proofs by coupling from the perspective of formal verification. Long employed in probability theory and theoretical computer science, these proofs construct co…
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…