Cryptographic open programming language

The company Galois , engaged in the creation and development of various software, recently announced on its blog that the cryptographic programming language Cryptol , originally closed, is now available to anyone.

Created for the US National Security Agency, Cryptol is a subject-oriented programming language and serves as a tool for creating design, implementation and verification of cryptographic algorithms. The development is not new - several large projects have been written on Cryptol, and in the present tense is being developed at Rockwell Collins Corporation.

Cryptol is ported under Windows, Mac and Linux and is available for download in a trial, trial, version. It includes interpreter, documentation and examples. But in order to get the full version - you have to write to the developers and convince them to give you a full-featured Cryptol.
')
Original blog post .

Galois Blog via Slashdot