Slashdot Mirror

← Back to Stories (view on slashdot.org)

Cryptol, Language of Cryptography, Now Available To the Public

Posted by ryuzaki0 on from the new-toys-to-play-with dept.

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.

1 of 140 comments (clear)

  1. Re:Kudos to NSA by collinstocks · · Score: 5, Informative

    Just a correction: Regardless of who developed this (there seems to be some disagreement), nobody turned it over to the public domain. Read the license agreement: it says that you are not allowed to even create derivative works, nor redistribute the program to multiple sources, nor use it for commercial purposes.