Gilles Barthe

Latest

• Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
• Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs
• 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