Cryptol now available

Slashdot

Cryptol now available-> 0

Submitted by

solweil

on Friday December 26 2008, @11:53AM

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.

One big pile is better than two little piles. -- Arlo Guthrie

Cryptol now available More Login

Cryptol now available