Security/CryptoEngineering/Cryptol: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

13 September 2017

  • curprev 06:5506:55, 13 September 2017Franziskus talk contribs 394 bytes +394 Created page with "[https://www.cryptol.net Cryptol] is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical sp..."