Hacker News
- Formal verification of Amazon's s2n SSL/TLS library https://galois.com/blog/2016/09/verifying-s2n-hmac-with-saw/ 6 comments
Linking pages
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments
- Formal Methods and the KRACK Vulnerability - Galois, Inc. https://galois.com/blog/2017/10/formal-methods-krack-vulnerability/ 0 comments
- Cryptography and Abstractions: Why all the JOSE hate? - Tozny https://tozny.com/blog/jose-cryptography-and-abstraction/ 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
Linked pages
- GitHub - Z3Prover/z3: The Z3 Theorem Prover https://github.com/Z3Prover/z3 143 comments
- Introducing s2n-tls, a New Open Source TLS Implementation | AWS Security Blog https://blogs.aws.amazon.com/security/post/TxCKZM94ST1S6Y/Introducing-s2n-a-New-Open-Source-TLS-Implementation 102 comments
- Cryptol http://cryptol.net/index.html 75 comments
- SAW http://saw.galois.com 18 comments
- Home – Travis-CI https://travis-ci.org/ 8 comments
- http://csrc.nist.gov/publications/fips/fips198-1/FIPS-198-1_final.pdf 3 comments
- Automated Reasoning and Amazon s2n | AWS Security Blog http://blogs.aws.amazon.com/security/post/TxLEHNNDPUFDU9/Automated-Reasoning-and-Amazon-s2n 0 comments
- The Yices SMT Solver http://yices.csl.sri.com/ 0 comments
Related searches:
Search whole site: site:galois.com
Search title: Part one: Verifying s2n HMAC with SAW - Galois, Inc.
See how to search.