fix warnings in bibtex

paper/collection.bib

 @STRING{LNCS = {LNCS}}
 @STRING{SV = {Springer}}
 
-@misc{BBB+19,
-  author         = {Manuel Barbosa and Gilles Barthe and Karthik Bhargavan and Bruno Blanchet and Cas Cremers and Kevin Liao and Bryan Parno},
-  title          = {SoK: Computer-Aided Cryptography},
-  howpublished   = {Cryptology ePrint Archive, Report 2019/1393},
-  year           = {2019},
-  note           = {\url{https://eprint.iacr.org/2019/1393}},
-}
-
 @article{1969-Hoare,
   author         = {C. A. R. Hoare},
   title          = {An Axiomatic Basis for Computer Programming},
@@ -89,6 +81,21 @@
   _numpages      = {14},
 }
 
+@misc{BBB+19,
+
+  author         = {Manuel Barbosa and
+                    Gilles Barthe and
+                    Karthik Bhargavan and
+                    Bruno Blanchet and
+                    Cas Cremers and
+                    Kevin Liao and
+                    Bryan Parno},
+  title          = {SoK: Computer-Aided Cryptography},
+  howpublished   = {Cryptology ePrint Archive, Report 2019/1393},
+  year           = {2019},
+  note           = {\url{https://eprint.iacr.org/2019/1393}},
+}
+
 @inproceedings{BGJ+15,
   author         = {Daniel J. Bernstein and
                     Bernard van Gastel and
@@ -239,8 +246,8 @@
   booktitle      = {Proceedings of the {ACM} on Programming Languages},
   year           = {2017},
 
-  volume         = {1},
-  number         = {ICFP},
+  number         = {1},
+  series         = {ICFP},
   pages          = {17},
   publisher      = {ACM},
   note           = {\url{http://arxiv.org/abs/1703.00053}},
@@ -370,6 +377,20 @@
   note           = {\url{https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7536383}},
 }
 
+@misc{acsl,
+
+  author         = {Patrick Baudin and
+                    Pascal Cuoq and
+                    Jean-Christophe Filliâtre and
+                    Claude Marché and
+                    Benjamin Monate and
+                    Yannick Moy and
+                    Virgile Prevosto1},
+  title          = {{ANSI/ISO C} Specification Language},
+  year           = {2019},
+  note           = {\url{https://frama-c.com/download/acsl.pdf}},
+}
+
 @article{cao2018vst-floyd,
   author         = {Qinxiang Cao and
                     Lennart Beringer and
@@ -389,6 +410,7 @@
 
 @misc{coq-faq,
 
+  key           = {INRIA},
   title          = {{The Coq Proof Assistant} -- {Frequently Asked Questions}},
   note           = {\url{https://coq.inria.fr/faq}},
 }
@@ -467,7 +489,7 @@
   year           = {2019},
   note           = {\url{https://ianix.com/pub/curve25519-deployment.html}},
 
-  _key           = {IANIX},
+  key           = {IANIX},
 }
 
 @inproceedings{zinzindohoue2017hacl,
@@ -483,10 +505,3 @@
   publisher      = {ACM},
   note           = {\url{https://eprint.iacr.org/2017/536.pdf}},
 }
-
-@misc{acsl,
-  title = {{ANSI/ISO C} Specification Language},
-  author = {Patrick Baudin and Pascal Cuoq and Jean-Christophe Filliâtre and Claude Marché and Benjamin Monate and Yannick Moy and Virgile Prevosto1},
-  year = {2019},
-  note = {\url{https://frama-c.com/download/acsl.pdf}}
-}