The Last Mile: High-Assurance and High-Speed Cryptographic Implementations | IEEE Conference Publication | IEEE Xplore