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

Article Details
Title:	A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case
Article URLs:	https://doi.org/10.1007/978-3-662-53018-4_11
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:

Advances in Cryptology, CRYPTO 2016