BibTeX record conf/sp/AlmeidaBBGKL0S20

download as .bib file

  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},
  title     = {The Last Mile: High-Assurance and High-Speed Cryptographic Implementations},
  booktitle = {{IEEE} Symposium on Security and Privacy},
  pages     = {965--982},
  publisher = {{IEEE}},
  year      = {2020}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics