solweil writes: "A trial version of Cryptol, the language for the design and verification of cryptographic algorithms, is now available."
DEAL: For $25 - Add A Second Phone Number To Your Smartphone for life! Use promo code SLASHDOT25. Also, Slashdot's now on IFTTT. Check it out! Check out the new SourceForge HTML5 Internet speed test! ×