abstract:Cryptol is a domain specific programming language for cryptography developed by the Portland, Oregon based software development firm, Galois, Inc..GoogleBook link The language was originally developed for use by the United States National Security Agency.