BibTeX record conf/ccs/AlmeidaBBBGLOPS17

download as .bib file

@inproceedings{DBLP:conf/ccs/AlmeidaBBBGLOPS17,
  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 = {{CCS}},
  pages     = {1807--1823},
  publisher = {{ACM}},
  year      = {2017}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics