Benjamin Grégoire

Latest

• High-Assurance Cryptography in the Spectre Era
• The Last Mile: High-Assurance and High-Speed Cryptographic Implementations