SBIR/STTR Research Award
Towards a Computer-Aided Cryptographic Algorithm Development Workbench
Award amount
$79,998Program and phase
SBIR · Phase IAward year
2016Award details
- Awarding agency
- Department of Defense
- Branch
- Navy
- Recipient company
- Zeutro, LLC
- Proposal award date
- 2016-07-11
- Contract end date
- 2017-05-10
- UEI
- GRJ7ZLMHXJM7
- Solicitation number
- 2016.1
- Topic code
- N161-058
Research abstract
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.
Technology keywords
Not reported
Other awards by this recipient
Verified by the same UEI. These are other public SBIR/STTR award pages, not a merged company record.
- Advancing the Capabilities and Deployment of Functional Encryption
- Advancing the Capabilities and Deployment of Functional Encryption
Awards with the same topic code
Verified by an exact topic code match. This is not a text-similarity match.
- CAVES: Cryptographic Analysis, Verification, Exploration, and Synthesis
- CAVES: Cryptographic Analysis, Verification, Exploration, and Synthesis
Research funding history
3 SBIR/STTR records share this UEI (2012–2016). Reported award amounts total $978,838. Reported amounts are not federal obligations.
Phases: Phase I, Phase II
Agencies: Department of Defense