Worldlex Wiki Cryptol est un langage de programmation spécifique au domaine pour la cryptographie développé par la société de développement de logiciels basée à Portland, dans l'Oregon , Galois, Inc. Il s'agit d'un logiciel gratuit et open source publié sous une licence logicielle BSD à 3 clauses .
Le langage a été développé à l'origine pour être utilisé par l' Agence de sécurité nationale des États-Unis . Le langage est également utilisé par des entreprises privées qui fournissent des systèmes informatiques , comme l'entreprise américaine Rockwell Collins qui fournit des systèmes informatiques aux sous-traitants de l'aérospatiale et de la défense aux États-Unis.
Le langage de programmation est utilisé pour tous les aspects du développement et de l'utilisation de la cryptographie, tels que la conception et la mise en œuvre de nouveaux chiffrements et la vérification des algorithmes cryptographiques existants . Cryptol est conçu pour permettre à un cryptographe d'observer comment les fonctions de traitement de flux dans le programme manipulent les chiffrements ou les algorithmes de cryptage .