Cryptol now available

Slashdot

+ - Cryptol now available-> 0

Submitted by

solweil

on Friday December 26, 2008 @12:53PM

solweil writes "A trial version of Cryptol, the language for the design and verification of cryptographic algorithms, is now available."
Link to Original Source

This discussion was created for logged-in users only, but now has been archived. No new comments can be posted.

Cryptol now available

Load All Comments

Search 0 Comments Log In/Create an Account

Comments Filter:

All
Insightful
Informative
Interesting
Funny

There may be more comments in this discussion. Without JavaScript enabled, you might want to turn on Classic Discussion System in your preferences instead.

He keeps differentiating, flying off on a tangent.

Cryptol now available More Login

Cryptol now available