I saw in a Dr Dobb's email report for 2008-12-29 that there's a new DSL (domain-specific language) for designing crypto systems. It is called Cryptol and is available from Galois.
Has anybody taken a look at it? Does anyone have plans to use it? Is it worthwhile, do you think?
Robert Gamble notes:
Cryptol is not new, it has been around for many years. What is new is the availability of (parts of) it to the public, it was originally developed for and used by the NSA.
Rather like Brian, I don't have any real reason to use Cryptol. It might perhaps be useful if I needed to (re-)validate the SSL-based implementation we have, though I'm not sure it will help there (we don't need to validate the SSL library; we might need to validate our (mis-)use of the SSL library).