Towards a Computer-Aided Cryptographic Algorithm Development Workbench Navy SBIR FY2016.1 Sol No.: Navy SBIR FY2016.1 Topic No.: N161-058 Topic Title: Towards a Computer-Aided Cryptographic Algorithm Development Workbench Proposal No.: N161-058-0401 Firm: Zeutro, LLC 4506 Roland Ave Baltimore, Maryland 21210 Contact: Joseph Akinyele Phone: (443) 570-9776 Web Site: http://www.zeutro.com 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. Benefits: 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. Return