Automated Analysis and Synthesis of Authenticated Encryption Schemes

Article Details
Title:	Automated Analysis and Synthesis of Authenticated Encryption Schemes
Article URLs:	https://doi.org/10.1145/2810103.2813636
Alternative Article URLs:	http://eprint.iacr.org/2015/624
Authors:	Viet Tung Hoang	University of Maryland Georgetown University
	Jonathan Katz	University of Maryland
	Alex J. Malozemoff	University of Maryland
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://github.com/amaloz/ae-generator
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/ccs/HoangKM15
Author Comments:

ACM Computer and Communications Security, CCS 2015