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 and allows for a quick evaluation and continued revisions and is available for Linux, OS X, and Windows.http://developers.slashdot.org/slash.../12/26/1725208
Read more of this story at Slashdot.
</img>


More...