Add auto-coupling preprint.

2017-09-20 15:21:54 +01:00
parent 7f9e70c8e4
commit b4d672bd50
2 changed files with 68 additions and 0 deletions
@@ -1,3 +1,5 @@
+ **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.