Automated Analysis and Synthesis of Secure Cryptographic Algorithms
Abstract
Explore and develop automated tools to determine whether a particular cryptographic algorithm satisfies a given set of functional requirements and security definitions, and then to couple this with mechanisms for automatically generating new algorithms to be so analyzed, with the end result being a set of methods for automatically generating secure cryptographic algorithms.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Oct 06, 2016
- Source ID
- N00173162C013
Entities
People
- Jonathan Katz
Organizations
- United States Naval Research Laboratory
- United States Navy
- University of Maryland Center for Environmental Science