+ - Cryptol now available->
Submitted
by
solweil
solweil writes "A trial version of Cryptol, the language for the design and verification of cryptographic algorithms, is now available."
Link to Original Source
Link to Original Source
Cryptol now available More Login
Cryptol now available