Zeutro, LLC — Department of Defense SBIR Phase I: N161-058
Zeutro, LLC — SBIR Phase I award from Department of Defense.
- Amount
- $79,998
- Agency
- Department of Defense · Navy
- Program / Phase
- SBIR · Phase I
- Topic
- N161-058
- Solicitation
- 2016.1
- NAICS
- —
- Place of performance
- MD
- Period
- 2016-07-11 → 2017-05-10
Description
Recent tools in academic research have harnessed the power of automation to automate certain cryptographic design tasks (e.g., AutoBatch/AutoGroup) and verify security properties of cryptographic algorithms (e.g., EasyCrypt/AutoG&P). While these tools exist as academic prototypes, they are still relatively immature and may not have been designed to interoperate with other tools. This project will investigate the feasibility of an integrated workbench that enables practitioners from academia, government and industry to explore certain cryptographic algorithm design and verification tasks in a single automation platform.