Cryptol

Implementace Cryptolu je program, který dokáže provádět programy Cryptolu. Cryptol je doménově specifický jazyk pro specifikaci kryptografických algoritmů. Je určen pro kryptografy i vývojáře ověřených nástrojů. Jazyk je vyšší úrovně než většina programovacích jazyků a je navržen tak, aby jej mohli číst a zapisovat lidé i stroje. Cryptol má formální sémantiku a je staticky typovaný. Programy v jazyce Cryptol lze automaticky překládat do jiných jazyků, například do jazyka C, a provádět je na běžných procesorech. Cryptol se používá mimo jiné při vývoji programu TrueCrypt pro šifrování disků.