959 B
959 B
- 10/2016 Our paper Coupling proofs are probabilistic product programs will appear at POPL 2017!
- 10/2016 Our paper A semantic account of metric preservation will appear at POPL 2017!
- 09/2016 Our paper Computer-aided verification in mechanism design will appear at WINE 2016!
- 07/2016 Our paper Advanced probabilistic couplings for differential privacy will appear at CCS 2016!
- 07/2016 Our paper Differentially private Bayesian programming will appear at CCS 2016!
- 07/2016 Our preprint Coupling proofs are probabilistic product programs is now available.
- 07/2016 Slides now available for Proving differential privacy via probabilistic couplings.
- 07/2016 An updated version of our preprint Formal verification of randomized algorithms is now available.
- 07/2016 Our preprint A semantic account of metric preservation is now available.