797 B
797 B
- 09/2017 Synthesizing coupling proofs of differential privacy and Proving expected sensitivity of probabilistic programs will appear at POPL 2018!
- 09/2017 Our preprint Synthesizing coupling proofs of differential privacy is now available.
- 07/2017 Slides now available for *-Liftings for differential privacy.
- 07/2017 Our preprint Proving expected sensitivity of probabilistic programs is now available.
- 06/2017 I am on the program committee of TPDP 2017, co-located with CCS in Dallas, Texas. Submit your best privacy abstracts!
- 05/2017 Slides now available for Proving uniformity and independence by self-composition and coupling.