%0 Conference Paper %1 conf/ccs/AlmeidaBBBGLOPS17 %A Almeida, José Bacelar %A Barbosa, Manuel %A Barthe, Gilles %A Blot, Arthur %A Grégoire, Benjamin %A Laporte, Vincent %A Oliveira, Tiago %A Pacheco, Hugo %A Schmidt, Benedikt %A Strub, Pierre-Yves %B CCS %D 2017 %E Thuraisingham, Bhavani %E Evans, David %E Malkin, Tal %E Xu, Dongyan %I ACM %K dblp %P 1807-1823 %T Jasmin: High-Assurance and High-Speed Cryptography. %U http://dblp.uni-trier.de/db/conf/ccs/ccs2017.html#AlmeidaBBBGLOPS17 %@ 978-1-4503-4946-8

@inproceedings{conf/ccs/AlmeidaBBBGLOPS17, added-at = {2020-11-10T00:00:00.000+0100}, author = {Almeida, José Bacelar and Barbosa, Manuel and Barthe, Gilles and Blot, Arthur and Grégoire, Benjamin and Laporte, Vincent and Oliveira, Tiago and Pacheco, Hugo and Schmidt, Benedikt and Strub, Pierre-Yves}, biburl = {https://www.bibsonomy.org/bibtex/2bdcb4f6e55fe18e34afa3a4cc59c7353/dblp}, booktitle = {CCS}, crossref = {conf/ccs/2017}, editor = {Thuraisingham, Bhavani and Evans, David and Malkin, Tal and Xu, Dongyan}, ee = {https://doi.org/10.1145/3133956.3134078}, interhash = {abe8aa469ab73955d6ec6f05ff35c2e0}, intrahash = {bdcb4f6e55fe18e34afa3a4cc59c7353}, isbn = {978-1-4503-4946-8}, keywords = {dblp}, pages = {1807-1823}, publisher = {ACM}, timestamp = {2024-04-09T10:14:04.000+0200}, title = {Jasmin: High-Assurance and High-Speed Cryptography.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2017.html#AlmeidaBBBGLOPS17}, year = 2017 }