International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Computer-aided cryptography: status and perspectives

Authors:
Gilles Barthe
Download:
URL: https://www.iacr.org/archive/asiacrypt2015/94520357/94520357.pdf
Search ePrint
Search Google
Conference: ASIACRYPT 2015
Honor: Invited paper
BibTeX
@inproceedings{asiacrypt-2015-28980,
  title={Computer-aided cryptography: status and perspectives},
  booktitle={Advances in Cryptology - Asiacrypt 2015},
  series={Lecture Notes in Computer Science},
  volume={9452},
  pages={1},
  url={https://www.iacr.org/archive/asiacrypt2015/94520357/94520357.pdf},
  note={Abstract of invited talk},
  author={Gilles Barthe},
  year=2015
}