Cryptol

Une implémentation Cryptol est un programme qui peut exécuter des programmes Cryptol. Cryptol est un langage spécifique au domaine pour spécifier des algorithmes cryptographiques. Il est destiné à être utilisé à la fois par les cryptographes et les développeurs d'outils vérifiés. Le langage est de plus haut niveau que la plupart des langages de programmation, et il est conçu pour être lisible et inscriptible par les humains comme par les machines. Cryptol a une sémantique formelle et est typée statiquement. Les programmes Cryptol peuvent être automatiquement traduits dans d'autres langages, comme le C, pour être exécutés sur des processeurs conventionnels. Cryptol est utilisé dans le développement du programme de cryptage de disque TrueCrypt, entre autres.