diff --git a/content/news.md b/content/news.md index a408dac..fe19e6c 100644 --- a/content/news.md +++ b/content/news.md @@ -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