Advances in Cryptology, CRYPTO 2016

Article Details
Title: A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case
Article URLs:
Alternative Article URLs:
Authors: Thomas Shrimpton
  • University of Florida
Martijn Stam
  • University of Bristol
Bogdan Warinschi
  • University of Bristol
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1319061
DBLP Key: conf/crypto/ShrimptonSW16
Author Comments:

Discuss this paper and its artifacts below