Stories
Slash Boxes
Comments
typodupeerror delete not in
  • Preferences

+-   Cryptol now available-> on Friday December 26 2008, @11:53AM solweil

Submitted by solweil on Friday December 26 2008, @11:53AM
communications
solweil writes "A trial version of Cryptol, the language for the design and verification of cryptographic algorithms, is now available."
Link to Original Source
submission
This discussion was created for logged-in users only, but now has been archived. No new comments can be posted.
The Fine Print: The following comments are owned by whoever posted them. We are not responsible for them in any way.

Cryptol now available 0 Comments More /

 Full
 Abbreviated
 Hidden
More
Loading... please wait.
Search
All art is but imitation of nature. -- Lucius Annaeus Seneca

All trademarks and copyrights on this page are owned by their respective owners. Comments are owned by the Poster. The Rest © 1997-2009 Geeknet, Inc.