Security/CryptoEngineering/Cryptol

From MozillaWiki
Jump to: navigation, search

Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language. Combined with the Software Analysis Workbench (SAW) it provides the ability to formally verify properties of code.