The Last Mile: High-Assurance and High-Speed Cryptographic Implementations | Publicación