Jasmin: High-Assurance and High-Speed Cryptography (bibtex)
by JB Almeida, M Barbosa, G Barthe, A Blot, B Grégoire, V Laporte, T Oliveira, H Pacheco, B Schmidt
View PDF
Reference:
JB Almeida, M Barbosa, G Barthe, A Blot, B Grégoire, V Laporte, T Oliveira, H Pacheco, B Schmidt, Jasmin: High-Assurance and High-Speed Cryptography, In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS, to appear, pp. 1807–1823, 2017.
Bibtex Entry:
@inproceedings{jasmin17,
    title={Jasmin: High-Assurance and High-Speed Cryptography},
    author={JB Almeida and M Barbosa and G Barthe and A Blot and B Grégoire and V Laporte and T Oliveira and H Pacheco and B Schmidt},
    booktitle = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS}},
    publisher = {to appear},
    year = {2017},
    pages = {1807–1823},
    url = {publications/ccs17.pdf}
}