Comment on You are dangerously bad at cryptographyparentComments−JacobiX13yCryptol is a DSL that simplifies the specification of a cryptographic algorithm http://corp.galois.com/cryptol/
Comments
Cryptol is a DSL that simplifies the specification of a cryptographic algorithm http://corp.galois.com/cryptol/