Cryptol, Language of Cryptography, Now Available To the Public

[sl4shd0t]

solweil writes to mention that Cryptol, a 'domain specific language for the design, implementation and verification of cryptographic algorithms,' is now available to the public. Cryptol was originally designed for the NSA. It allows for a quick evaluation and continued revisions, and is available for Linux, OS X, and Windows.http://developers.slashdot.org/slashdot-it.pl?from=rss&op=image&style=h0&sid=08/12/26/1725208 (http://developers.slashdot.org/article.pl?sid=08/12/26/1725208&from=rss)
Read more of this story (http://developers.slashdot.org/article.pl?sid=08/12/26/1725208&from=rss) at Slashdot.
http://feedads.googleadservices.com/~at/O7icyhOoKVcXosKvXhc2LNPA8ic/i</img> (http://feedads.googleadservices.com/~at/O7icyhOoKVcXosKvXhc2LNPA8ic/a)
http://feedproxy.google.com/~r/Slashdot/slashdotDevelopers/~4/xabIRhkmng0

More... (http://rss.slashdot.org/~r/Slashdot/slashdotDevelopers/~3/xabIRhkmng0/article.pl)