International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Advances in computer-aided cryptography

Authors:
Gilles Barthe
Download:
Search ePrint
Search Google
Conference: EUROCRYPT 2017
Honor: Invited talk
Video from EUROCRYPT 2017
BibTeX
@inproceedings{eurocrypt-2017-29752,
  title={Advances in computer-aided cryptography},
  note={Invited talk},
  author={Gilles Barthe},
  year=2017
}