International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Integrating Formal Verification in Cryptographic Standards and Implementations

Authors:
Karthikeyan Bhargavan
Download:
Search ePrint
Search Google
Honor: Invited talk
Video from CRYPTO 2024
BibTeX
@misc{crypto-2024-35829,
  title={Integrating Formal Verification in Cryptographic Standards and Implementations},
  note={Invited talk},
  author={Karthikeyan Bhargavan},
  year=2024
}