Cryptol

Uma implementação Cryptol é um programa que pode executar programas Cryptol. O Cryptol é uma linguagem específica de domínio para especificar algoritmos criptográficos. Destina-se a ser utilizado tanto por criptógrafos como por desenvolvedores de ferramentas verificadas. A linguagem é de nível superior à maioria das linguagens de programação, e foi concebida para ser legível e escrevível tanto por humanos como por máquinas. O Cryptol tem uma semântica formal e é tipado estaticamente. Os programas Cryptol podem ser automaticamente traduzidos para outras línguas, tais como o C, para execução em processadores convencionais. Cryptol é utilizado no desenvolvimento do programa de encriptação de disco TrueCrypt, entre outros.