C cryptol.net Cryptol DSL, a tool for writing correct crypto algorithms, is now open-source 181 points carterschonwald 12 years ago 24 comments
