Jasmin: High-Assurance and High-Speed Cryptography

Citation:
Almeida JB, Barbosa M, Barthe G, Blot A, Grégoire B, Laporte V, Oliveira T, Pacheco H, Schmidt B, - P.  2017.  Jasmin: High-Assurance and High-Speed Cryptography. Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 - November 03, 2017. :1807–1823.

Abstract:

n/a

Notes:

n/a

Website

Citation Key:

DBLP:conf/ccs/AlmeidaBBBGLOPS17