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."
Have you ever noticed that the people who are always trying to tell you `there's a time for work and a time for play' never find the time for play?
