parent
a5fc065d82
commit
3153eb3d8d
|
@ -9,7 +9,7 @@ will appear at **CCS 2016**!
|
|||
+ **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 on `arXiv`.
|
||||
randomized algorithms** is now available.
|
||||
+ **07/2016** Our preprint **A semantic account of metric preservation** is now
|
||||
available.
|
||||
+ **06/2016** Our preprint **Advanced probabilistic couplings for differential
|
||||
|
|
Loading…
Reference in New Issue