Cryptol

Implementácia Cryptol je program, ktorý dokáže vykonávať programy Cryptol. Cryptol je doménovo špecifický jazyk na špecifikáciu kryptografických algoritmov. Je určený na používanie kryptografmi aj vývojármi overených nástrojov. Jazyk je vyššej úrovne ako väčšina programovacích jazykov a je navrhnutý tak, aby ho mohli čítať a zapisovať ľudia aj stroje. Cryptol má formálnu sémantiku a je staticky typovaný. Programy v jazyku Cryptol sa dajú automaticky preložiť do iných jazykov, napríklad do jazyka C, na vykonávanie na bežných procesoroch. Cryptol sa okrem iného používa pri vývoji programu na šifrovanie diskov TrueCrypt.