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)
"Don't tell me I'm burning the candle at both ends -- tell me where to get more wax!!"
