Capitalization.

bibs/myrefs.bib

@@ -1,6 +1,6 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 @unpublished{BGGHS16,
-  title  = {Proving Differential Privacy via Probabilistic Couplings},
+  title  = {Proving differential privacy via probabilistic couplings},
   author = {Barthe, Gilles and
             Gaboardi, Marco and
             Gr{\'e}goire, Benjamin and
@@ -682,10 +682,10 @@
 }
 
 @article{certipriv,
-  author       = {Gilles Barthe and
+  author       = {Barthe, Gilles and
-                  Boris K{\"{o}}pf and
+                  K{\"{o}}pf, Boris and
-                  Federico Olmedo and
+                  Olmedo, Federico and
-                  Santiago Zanella B{\'{e}}guelin},
+                  Zanella{-}B{\'{e}}guelin, Santiago},
   title        = {Probabilistic Relational Reasoning for Differential Privacy},
   journal      = toplas,
   volume       = {35},
@@ -1295,7 +1295,12 @@ url         = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf
 
 @inproceedings{rfstar,
   title     = {Probabilistic relational verification for cryptographic implementations},
-  author    = {Barthe, Gilles and Fournet, C{\'e}dric and Gr{\'e}goire, Benjamin and Strub, {P}ierre-{Y}ves and Swamy, Nikhil and Zanella-B{\'e}guelin, Santiago},
+  author    = {Barthe, Gilles and
+               Fournet, C{\'e}dric and
+               Gr{\'e}goire, Benjamin and
+               Strub, {P}ierre-{Y}ves and
+               Swamy, Nikhil and
+               Zanella{-}B{\'e}guelin, Santiago},
   booktitle = popl14,
   pages     = {193--206},
   year      = {2014},
@@ -1345,7 +1350,9 @@ url         = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf
 
 @inproceedings{BartheGZ09,
 	Address      = {New York},
-	Author       = {Barthe, Gilles and Gr{\'e}goire, Benjamin and {Zanella-B{\'e}guelin}, Santiago},
+	Author       = {Barthe, Gilles and
+                  Gr{\'e}goire, Benjamin and
+                  Zanella{-}B{\'e}guelin, Santiago},
 	Booktitle    = popl09,
 	Pages        = {90--101},
 	Title        = {Formal Certification of Code-Based Cryptographic Proofs},
@@ -1353,27 +1360,13 @@ url         = {http://research.microsoft.com/pubs/208236/asplos077-bornholtA.pdf
   url          = {http://research.microsoft.com/pubs/185309/Zanella.2009.POPL.pdf}
 }
 
-@inproceedings{BartheGHZ11,
-  author       = {Gilles Barthe and
-               Benjamin Gr{\'e}goire and
-               Sylvain Heraud and
-               Santiago Zanella B{\'e}guelin},
-  title        = {Computer-Aided Security Proofs for the Working Cryptographer},
-  booktitle    = crypto11,
-  year         = {2011},
-  pages        = {71--90},
-  url          = {http://software.imdea.org/~szanella/Zanella.2011.CRYPTO.pdf},
-  bibsource    = {DBLP, http://dblp.uni-trier.de}
-}
-
 @inproceedings{BartheDGKZ13,
-  author       = {Gilles Barthe and
+  author       = {Barthe, Gilles and
-               George Danezis and
+                  Danezis, George and
-               Benjamin Gr{\'e}goire and
+                  Gr{\'e}goire, Benjamin and
-               C{\'e}sar Kunz and
+                  Kunz, C{\'e}sar and
-               Santiago Zanella B{\'e}guelin},
+                  Zanella{-}B{\'e}guelin Santiago},
-  title        = {Verified Computational Differential Privacy with Applications
+  title        = {Verified Computational Differential Privacy with Applications to Smart Metering},
-               to Smart Metering},
   booktitle    = csf13,
   year         = {2013},
   pages        = {287--301},
@@ -2189,10 +2182,10 @@ year           = {2014}
 }
 
 @inproceedings{BartheGHZ11,
-  author      = {Gilles Barthe and
+  author      = {Barthe, Gilles and
-               Benjamin Gr{\'e}goire and
+                 Gr{\'e}goire, Benjamin  and
-               Sylvain Heraud and
+                 Heraud, Sylvain  and
-               Santiago Zanella B{\'e}guelin},
+                 Zanella{-}B{\'e}guelin, Santiago},
   title       = {Computer-Aided Security Proofs for the Working Cryptographer},
 	Booktitle   = crypto11,
   year        = {2011},
@@ -2200,6 +2193,8 @@ year           = {2014}
   publisher   = springer,
   series      = lncs,
   volume      = {6841}
+  url         = {http://software.imdea.org/~szanella/Zanella.2011.CRYPTO.pdf},
+  bibsource   = {DBLP, http://dblp.uni-trier.de}
 }
 
 @inproceedings{flanagan2001,

content/news.md

@@ -1,5 +1,5 @@
-+ **01/2016** Our preprint **Proving Differential Privacy via Probabilistic
++ **01/2016** Our preprint **Proving differential privacy via probabilistic
-  Couplings** is now available on `arXiv`.
+  couplings** is now available on `arXiv`.
 + **01/2016** Slides now available for  **Jointly private convex programming**,
   presented at **SODA 2016**.
 + **11/2015** Slides now available for  **Relational reasoning via probabilistic