Cryptol

Cryptol este un limbaj de programare specific domeniului pentru criptografie dezvoltat de firma de dezvoltare software din Portland, Oregon, Galois, Inc.

Limba a fost inițial dezvoltată pentru a fi utilizată de Agenția de Securitate Națională a Statelor Unite.

Limba este folosită și de firmele private care furnizează sisteme de tehnologie informațională, cum ar fi compania americană Rockwell Collins oferă contractorilor aerospațiali și de apărare din Statele Unite.

Limbajul de programare este utilizat pentru toate aspectele dezvoltării și utilizării criptografiei, cum ar fi proiectarea și implementarea noilor cifre și verificarea algoritmilor criptografici existenți.

Cryptol este proiectat pentru a permite criptografului să urmărească modul în care funcționează procesarea fluxului din program să manipuleze cifrele sau algoritmii de criptare.