International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

High-assurance crypto in practice — Challenges and latest results

Authors:
Peter Schwabe
Download:
Search ePrint
Search Google
Conference: CHES 2023
Honor: Invited talk
BibTeX
@inproceedings{ches-2023-34080,
  title={High-assurance crypto in practice — Challenges and latest results},
  note={Invited talk},
  author={Peter Schwabe},
  year=2023
}