Open Internet by MindsNet
Cryptol
Domain-specific language for specifying cryptographic algorithms
Mathematics & logic, Mathematics, Cryptography
Open Internet by MindsNet
Domain-specific language for specifying cryptographic algorithms
Mathematics & logic, Mathematics, Cryptography