Cryptol - a language for describing crypto algorithmscorp.galois.com2 points·zephyrfalcon··0 commentsOpen articleSaveView on HN