Jasmin: High-Assurance and High-Speed Cryptography
Jasmin: High-Assurance and High-Speed Cryptography
Files
Date
2017
Authors
José Bacelar Almeida
Manuel Barbosa
Barthe,G
Blot,A
Grégoire,B
Laporte,V
Oliveira,T
Hugo Pereira Pacheco
Schmidt,B
Strub,PY