5 ms·
Cryptol is a DSL that simplifies the specification of a cryptographic algorithm http://corp.galois.com/cryptol/ http://corp.galois.com/cryptol/
by JacobiX 13y ago
Cryptol is a DSL that simplifies the specification of a cryptographic algorithm http://corp.galois.com/cryptol/ http://corp.galois.com/cryptol/