International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Paper: A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case

Authors:
Thomas Shrimpton
Martijn Stam
Bogdan Warinschi
Download:
DOI: 10.1007/978-3-662-53018-4_11
Search ePrint
Search Google
Conference: CRYPTO 2016
BibTeX
@inproceedings{crypto-2016-27679,
  title={A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case},
  booktitle={CRYPTO},
  publisher={Springer},
  pages={277-307},
  doi={10.1007/978-3-662-53018-4_11},
  author={Thomas Shrimpton and Martijn Stam and Bogdan Warinschi},
  year=2016
}