El Instituto IMDEA Software ha conseguido financiación para AutoCrypt, un proyecto conjunto con Stanford University, University of Pennsylvania, y Stanford Research Institute. El proyecto está financiado por ONR y su duración es de julio de 2012 hasta julio de 2015.
El objetivo de AutoCrypt es conseguir proporcionar, mediante la aplicación de un programa de ordenador, garantías matemáticas de que un algoritmo criptográfico es seguro, y que es adecuado para un producto, proceso, o servicio dado.
El equipo del Instituto IMDEA Software utilizará la herramienta EasyCrypt para desarrollar una clasificación sistemática de algoritmos criptográficos y para crear un atlas criptográfico que será utilizado por investigadores y empresas para elegir el más apropiado a sus necesidades.
