International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Deploying cryptographically-verified components for the HTTPS ecosystem

Authors:
Cédric Fournet
Download:
Search ePrint
Search Google
Conference: CRYPTO 2017
Honor: Invited talk
BibTeX
@inproceedings{crypto-2017-29730,
  title={Deploying cryptographically-verified components for the HTTPS ecosystem},
  note={Invited talk},
  author={Cédric Fournet},
  year=2017
}