bib

paper/collection.bib

 @STRING{LNCS = {LNCS}}
 @STRING{SV = {Springer}}
 
-@inproceedings{10.1145/3133956.3134078,
-  author         = {Jos\'{e} Bacelar Almeida and
-                    Manuel Barbosa and
-                    Gilles Barthe and
-                    Arthur Blot and
-                    Benjamin Gr\'{e}goire and
-                    Vincent Laporte and
-                    Tiago Oliveira and
-                    Hugo Pacheco and
-                    Benedikt Schmidt and
-                    Pierre-Yves Strub},
-  title          = {Jasmin: High-Assurance and High-Speed Cryptography},
-  booktitle      = {Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security},
-  year           = {2017},
-
-  series         = {CCS ’17},
-  pages          = {1807–1823},
-  address        = {New York, NY, USA},
-  publisher      = {ACM},
-
-  doi           = {10.1145/3133956.3134078},
-  isbn          = {9781450349468},
-  keywords      = {verified compiler, cryptographic implementations, safety, constant-time security},
-  location      = {Dallas, Texas, USA},
-  numpages      = {17},
-  url           = {https://doi.org/10.1145/3133956.3134078},
-}
-
 @article{1969-Hoare,
   author         = {C. A. R. Hoare},
   title          = {An Axiomatic Basis for Computer Programming},
@@ -302,6 +274,30 @@
   note           = {\url{http://adam.chlipala.net/theses/andreser_meng.pdf}},
 }
 
+@misc{EverCrypt,
+
+  author         = {Jonathan Protzenko and
+                    Bryan Parno and
+                    Aymeric Fromherz and
+                    Chris Hawblitzel and
+                    Marina Polubelova and
+                    Karthikeyan Bhargavan and
+                    Benjamin Beurdouche and
+                    Joonwon Choi and
+                    Antoine Delignat-Lavaud and
+                    Cedric Fournet and
+                    Natalia Kulatova and
+                    Tahina Ramananandro and
+                    Aseem Rastogi and
+                    Nikhil Swamy and
+                    Christoph Wintersteiger and
+                    Santiago Zanella-Beguelin},
+  title          = {EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider},
+  howpublished   = {Cryptology ePrint Archive, Report 2019/757},
+  year           = {2019},
+  note           = {\url{https://eprint.iacr.org/2019/757}},
+}
+
 @incollection{Howard1995-HOWTFN,
   author         = {W. A. Howard},
   title          = {The Formul\ae-as-Types Notion of Construction},
@@ -467,30 +463,6 @@
   publisher     = SV,
 }
 
-@misc{cryptoeprint:2019:757,
-
-  author         = {Jonathan Protzenko and
-                    Bryan Parno and
-                    Aymeric Fromherz and
-                    Chris Hawblitzel and
-                    Marina Polubelova and
-                    Karthikeyan Bhargavan and
-                    Benjamin Beurdouche and
-                    Joonwon Choi and
-                    Antoine Delignat-Lavaud and
-                    Cedric Fournet and
-                    Natalia Kulatova and
-                    Tahina Ramananandro and
-                    Aseem Rastogi and
-                    Nikhil Swamy and
-                    Christoph Wintersteiger and
-                    Santiago Zanella-Beguelin},
-  title          = {EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider},
-  howpublished   = {Cryptology ePrint Archive, Report 2019/757},
-  year           = {2019},
-  note           = {\url{https://eprint.iacr.org/2019/757}},
-}
-
 @inproceedings{fiat-crypto,
   author         = {Andres Erbsen and
                     Jade Philipoom and
@@ -519,6 +491,34 @@
   publisher     = {AMS},
 }
 
+@inproceedings{jasmin,
+  author         = {Jos\'{e} Bacelar Almeida and
+                    Manuel Barbosa and
+                    Gilles Barthe and
+                    Arthur Blot and
+                    Benjamin Gr\'{e}goire and
+                    Vincent Laporte and
+                    Tiago Oliveira and
+                    Hugo Pacheco and
+                    Benedikt Schmidt and
+                    Pierre-Yves Strub},
+  title          = {Jasmin: High-Assurance and High-Speed Cryptography},
+  booktitle      = {Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security},
+  year           = {2017},
+
+  series         = {CCS ’17},
+  pages          = {1807–1823},
+  address        = {New York, NY, USA},
+  publisher      = {ACM},
+
+  doi           = {10.1145/3133956.3134078},
+  isbn          = {9781450349468},
+  keywords      = {verified compiler, cryptographic implementations, safety, constant-time security},
+  location      = {Dallas, Texas, USA},
+  numpages      = {17},
+  url           = {https://doi.org/10.1145/3133956.3134078},
+}
+
 @misc{rfc4253,
 
   author         = {Tatu Yl\"{o}nen and