Increasing the Scope of Automated Protocol Analysis
Abstract
The objective of this project is to increase the scope of state-of-the-art security protocol analysis tools. This will enable the analysis of many safety-critical systems that are currently out of scope of fully automated analysis, such as the upcoming TPM 2.0 standard and advanced secure messaging systems.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- May 02, 2017
- Source ID
- FA95501710206
Entities
People
- Cas Cremers
Organizations
- Air Force Office of Scientific Research
- United States Air Force
- University of Oxford