Cryptol: A DSL for specifying cryptography algorithmscryptol.net2 points·QuinnWilton··0 commentsOpen articleSaveView on HN