1.2 KiB
1.2 KiB
- 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.
- 05/2017 Our paper *-Liftings for differential privacy will appear at ICALP 2017!
- 03/2017 Our paper Proving uniformity and independence by self-composition and coupling will appear at LPAR 2017!
- 01/2017 Our preprint Proving uniformity and independence by self-composition and coupling is now available.
- 01/2017 Slides now available for Coupling proofs are probabilistic product programs.
- 01/2017 I am on the program committee of MFPS 2017, co-located with CALCO in Ljubljana, Slovenia. Submit your best papers!
- 12/2016 Slides now available for Computer-aided verification in mechanism design.
- 11/2016 Our preprint Relational expectation properties by probabilistic coupling is now available.