@inproceedings{DBLP:conf/sp/AlmeidaBBGKL0S20,
  author = {Jos{\'{e}} Bacelar Almeida and Manuel Barbosa and
Gilles Barthe and Benjamin Gr{\'{e}}goire and
Adrien Koutsos and Vincent Laporte and Tiago Oliveira and
Pierre{-}Yves Strub},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/sp/AlmeidaBBGKL0S20.bib},
  booktitle = {2020 {IEEE} Symposium on Security and Privacy, {SP}
2020, San Francisco, CA, USA, May 18-21, 2020},
  doi = {10.1109/SP40000.2020.00028},
  pages = {965--982},
  publisher = {{IEEE}},
  timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
  title = {The Last Mile: High-Assurance and High-Speed
Cryptographic Implementations},
  url = {https://doi.org/10.1109/SP40000.2020.00028},
  year = {2020}
}

{"_id":"TRBDD5dQ7oS62zaX2","bibbaseid":"almeida-barbosa-barthe-grgoire-koutsos-laporte-oliveira-strub-thelastmilehighassuranceandhighspeedcryptographicimplementations-2020","authorIDs":["EC8a7TQ86pYAoBS7y"],"author_short":["Almeida, J. B.","Barbosa, M.","Barthe, G.","Grégoire, B.","Koutsos, A.","Laporte, V.","Oliveira, T.","Strub, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["José","Bacelar"],"propositions":[],"lastnames":["Almeida"],"suffixes":[]},{"firstnames":["Manuel"],"propositions":[],"lastnames":["Barbosa"],"suffixes":[]},{"firstnames":["Gilles"],"propositions":[],"lastnames":["Barthe"],"suffixes":[]},{"firstnames":["Benjamin"],"propositions":[],"lastnames":["Grégoire"],"suffixes":[]},{"firstnames":["Adrien"],"propositions":[],"lastnames":["Koutsos"],"suffixes":[]},{"firstnames":["Vincent"],"propositions":[],"lastnames":["Laporte"],"suffixes":[]},{"firstnames":["Tiago"],"propositions":[],"lastnames":["Oliveira"],"suffixes":[]},{"firstnames":["Pierre-Yves"],"propositions":[],"lastnames":["Strub"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/sp/AlmeidaBBGKL0S20.bib","booktitle":"2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020","doi":"10.1109/SP40000.2020.00028","pages":"965–982","publisher":"IEEE","timestamp":"Tue, 29 Dec 2020 00:00:00 +0100","title":"The Last Mile: High-Assurance and High-Speed Cryptographic Implementations","url":"https://doi.org/10.1109/SP40000.2020.00028","year":"2020","bibtex":"@inproceedings{DBLP:conf/sp/AlmeidaBBGKL0S20,\n author = {Jos{\\'{e}} Bacelar Almeida and Manuel Barbosa and\nGilles Barthe and Benjamin Gr{\\'{e}}goire and\nAdrien Koutsos and Vincent Laporte and Tiago Oliveira and\nPierre{-}Yves Strub},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/sp/AlmeidaBBGKL0S20.bib},\n booktitle = {2020 {IEEE} Symposium on Security and Privacy, {SP}\n2020, San Francisco, CA, USA, May 18-21, 2020},\n doi = {10.1109/SP40000.2020.00028},\n pages = {965--982},\n publisher = {{IEEE}},\n timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},\n title = {The Last Mile: High-Assurance and High-Speed\nCryptographic Implementations},\n url = {https://doi.org/10.1109/SP40000.2020.00028},\n year = {2020}\n}\n\n","author_short":["Almeida, J. B.","Barbosa, M.","Barthe, G.","Grégoire, B.","Koutsos, A.","Laporte, V.","Oliveira, T.","Strub, P."],"key":"DBLP:conf/sp/AlmeidaBBGKL0S20","id":"DBLP:conf/sp/AlmeidaBBGKL0S20","bibbaseid":"almeida-barbosa-barthe-grgoire-koutsos-laporte-oliveira-strub-thelastmilehighassuranceandhighspeedcryptographicimplementations-2020","role":"author","urls":{"Paper":"https://doi.org/10.1109/SP40000.2020.00028"},"metadata":{"authorlinks":{"strub, p":"https://www.strub.nu/"}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"http://www.strub.nu/biblio/strub.bib","creationDate":"2020-12-11T17:17:42.346Z","downloads":1,"keywords":[],"search_terms":["last","mile","high","assurance","high","speed","cryptographic","implementations","almeida","barbosa","barthe","grégoire","koutsos","laporte","oliveira","strub"],"title":"The Last Mile: High-Assurance and High-Speed Cryptographic Implementations","year":2020,"dataSources":["q4vBTsWpxooqz6FoB"]}