Benjamin Grégoire

Latest

• Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
• Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
• High-Assurance Cryptography in the Spectre Era
• The Last Mile: High-Assurance and High-Speed Cryptographic Implementations