Jasmin: High-Assurance and High-Speed Cryptography

Jasmin: High-Assurance and High-Speed Cryptography. Almeida, J. B., Barbosa, M., Barthe, G., Blot, A., Grégoire, B., Laporte, V., Oliveira, T., Pacheco, H., Schmidt, B., & Strub, P. In Thuraisingham, B., Evans, D., Malkin, T., & Xu, D., editors, Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017, pages 1807–1823, 2017. ACM.

Paper doi bibtex 1 download

@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},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/ccs/AlmeidaBBBGLOPS17.bib},
  booktitle = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on
Computer and Communications Security, {CCS} 2017,
Dallas, TX, USA, October 30 - November 03, 2017},
  doi = {10.1145/3133956.3134078},
  editor = {Bhavani Thuraisingham and David Evans and Tal Malkin and
Dongyan Xu},
  isbn = {978-1-4503-4946-8},
  pages = {1807--1823},
  publisher = {{ACM}},
  timestamp = {Wed, 29 Jun 2022 15:37:41 +0200},
  title = {Jasmin: High-Assurance and High-Speed Cryptography},
  url = {https://doi.org/10.1145/3133956.3134078},
  year = {2017}
}

Downloads: 1