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.
Benefit: The primary application is an automated platform for exploring different design goals for selected types of cryptographic algorithms while also verifying certain security properties of these algorithms. An automated approach is anticipated to reduce design time, errors and cost.
Keywords: mechanized verification, mechanized verification, digital signatures, pairing-based cryptography, Automation, cryptographic design, encryption, security proofs, Cryptography