Cryptol

Eine Cryptol-Implementierung ist ein Programm, das Cryptol-Programme ausführen kann. Cryptol ist eine domänenspezifische Sprache zur Spezifikation kryptographischer Algorithmen. Sie soll sowohl von Kryptographen als auch von Entwicklern verifizierter Werkzeuge verwendet werden. Die Sprache ist höher angesiedelt als die meisten Programmiersprachen und so konzipiert, dass sie sowohl von Menschen als auch von Maschinen gelesen und geschrieben werden kann. Cryptol hat eine formale Semantik und ist statisch typisiert. Cryptol-Programme können automatisch in andere Sprachen, wie z. B. C, übersetzt werden, um auf herkömmlichen Prozessoren ausgeführt zu werden. Cryptol wird u.a. bei der Entwicklung des Festplattenverschlüsselungsprogramms TrueCrypt verwendet.