Hacker News
- Cryptol: DSL for specifying cryptographic algorithms http://www.cryptol.net/index.html 5 comments
- Cryptol DSL, a tool for writing correct crypto algorithms, is now open-source http://www.cryptol.net/ 24 comments
- Cryptol: a domain-specific language for specifying cryptographic algorithms http://www.cryptol.net 10 comments crypto
- Cryptol - A Domain Specific Language for Implementing Cryptographic Algorithms http://cryptol.net/index.html 11 comments programming
- Open Sourced! Cryptol: A Domain Specific Language for Specifying Cryptographic Algorithms http://cryptol.net/index.html 7 comments haskell
- Cryptol - a domain specific language for cryptography and formal verification - is now open source! http://www.cryptol.net/ 5 comments netsec
- Cryptol: A Domain Specific Language for Cryptography http://www.cryptol.net/ 11 comments programming
Linking pages
- Episode 11 - Austin Seipp on Security - The Haskell Cast http://www.haskellcast.com/episode/011-austin-seipp-on-security 27 comments
- Part one: Verifying s2n HMAC with SAW - Galois, Inc. https://galois.com/blog/2016/09/verifying-s2n-hmac-with-saw/ 6 comments
- Galois Announces ISC: The Imperfect Stitch Compiler - Galois, Inc. https://galois.com/blog/2016/04/galois-announces-isc-the-imperfect-stitch-compiler/ 3 comments
- Formal Methods and the KRACK Vulnerability - Galois, Inc. https://galois.com/blog/2017/10/formal-methods-krack-vulnerability/ 0 comments
- Cryptol as an SMT Frontend - Galois, Inc. https://galois.com/blog/2021/02/cryptol-as-an-smt-frontend/ 0 comments
- Cryptography and Abstractions: Why all the JOSE hate? - Tozny https://tozny.com/blog/jose-cryptography-and-abstraction/ 0 comments
- 2019: Year in review - Galois, Inc. https://galois.com/blog/2020/01/2019-year-in-review/ 0 comments
- Equivalence proofs with SAW - Exploring formal verification (part 1) https://timtaubert.de/blog/2017/01/equivalence-proofs-with-saw/ 0 comments
- Cryptol as an SMT Frontend - Galois, Inc. http://corp.galois.com/cryptol/ 0 comments
- Automated Reasoning and Amazon s2n | AWS Security Blog http://blogs.aws.amazon.com/security/post/TxLEHNNDPUFDU9/Automated-Reasoning-and-Amazon-s2n 0 comments
- Simple Cryptol specifications - Exploring formal verification (part 2) https://timtaubert.de/blog/2017/02/simple-cryptol-specifications/ 0 comments
- deprecated-crypto-might-not-suck/README.md at master · sweis/deprecated-crypto-might-not-suck · GitHub https://github.com/sweis/crypto-might-not-suck/blob/master/README.md 0 comments