Submission + - Cryptol now available (galois.com)
solweil writes: "A trial version of Cryptol, the language for the design and verification of cryptographic algorithms, is now available."
Submission Summary: 0 pending, 0 declined, 1 accepted (1 total, 100.00% accepted)
[We] use bad software and bad machines for the wrong things. -- R.W. Hamming
