Manuel Barbosa

Latest

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