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."
How many NASA managers does it take to screw in a lightbulb? "That's a known problem... don't worry about it."
