High-Assurance Cryptography in the Spectre Era | Publicación