diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 0f4beeb..40b1fbc 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -1,4 +1,14 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@unpublished{BEFFH16,
+  title  = {Synthesizing probabilistic invariants via {D}oob's decomposition},
+  author = {Barthe, Gilles and
+            Espitau, Thomas and
+            Ferrer Fioriti, Luis Mar{\'i}a and
+            Hsu, Justin},
+  year    = 2016,
+  jh      = yes,
+  docs    = yes,
+}
 @unpublished{BGGHS16,
   title  = {Proving differential privacy via probabilistic couplings},
   author = {Barthe, Gilles and
diff --git a/content/news.md b/content/news.md
index d59eba4..a60a6ee 100644
--- a/content/news.md
+++ b/content/news.md
@@ -1,3 +1,5 @@
++ **01/2016** Our preprint **Synthesizing probabilistic invariants via Doob's
+  decomposition** is now available.
 + **01/2016** Our preprint **Proving differential privacy via probabilistic
   couplings** is now available on `arXiv`.
 + **01/2016** Slides now available for  **Jointly private convex programming**,
diff --git a/files/docs/BEFFH16paper.pdf b/files/docs/BEFFH16paper.pdf
new file mode 100644
index 0000000..59b85d8
Binary files /dev/null and b/files/docs/BEFFH16paper.pdf differ