Automated Analysis and Synthesis of Authenticated Encryption Schemes
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Oct 12, 2015
- Source ID
- 10.1145/2810103.2813636
Entities
People
- Alex J. Malozemoff
- Jonathan Katz
- Viet Tung Hoang
Organizations
- Air Force Office of Scientific Research
- Exelis Inc.
- University of Maryland