Cryptol

Una implementación de Cryptol es un programa que puede ejecutar programas Cryptol. Cryptol es un lenguaje específico para especificar algoritmos criptográficos. Está pensado para ser utilizado tanto por criptógrafos como por desarrolladores de herramientas verificadas. El lenguaje es de más alto nivel que la mayoría de los lenguajes de programación y está diseñado para que puedan leerlo y escribirlo tanto humanos como máquinas. Cryptol tiene una semántica formal y está tipado estáticamente. Los programas Cryptol pueden traducirse automáticamente a otros lenguajes, como C, para su ejecución en procesadores convencionales. Cryptol se utiliza en el desarrollo del programa de cifrado de discos TrueCrypt, entre otros.