Publications

An Interactive Prover for Protocol Verification in the Computational Model
High-Assurance Cryptography in the Spectre Era
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations