Hacker News
- Project Everest: Efficient, verified components for the HTTPS ecosystem https://project-everest.github.io/ 5 comments
Linking pages
- Verified cryptography for Firefox 57 - Mozilla Security Blog https://blog.mozilla.org/security/2017/09/13/verified-cryptography-firefox-57/ 187 comments
- GitHub - Mbed-TLS/mbedtls: An open source, portable, easy to use, readable and flexible TLS library, and reference implementation of the PSA Cryptography API. Releases are on a varying cadence, typically around 3 - 6 months between releases. https://github.com/Mbed-TLS/mbedtls 56 comments
- Generating C code that people actually want to use | Jonathan Protzenko http://jonathan.protzenko.fr/2019/01/04/behind-the-scenes.html 54 comments
- Thoughts on the xz backdoor: an lzma-rs perspective | Blog | Guillaume Endignoux https://gendignoux.com/blog/2024/04/08/xz-backdoor.html 22 comments
- The Verification Gap: A Major Hurdle for the Industry Adoption of Formal Methods | Concerning Quality https://concerningquality.com/verification-gap/ 17 comments
- The road ahead for MirageOS in 2021 https://hannes.robur.coop/Posts/NGI 14 comments
- Introducing KreMlin https://fstarlang.github.io/general/2016/09/30/introducing-kremlin.html 9 comments
- Increasing the Impact of PL Research | SIGPLAN Blog https://blog.sigplan.org/2020/07/29/increasing-the-impact-of-pl-research/ 9 comments
- Formal Methods and the KRACK Vulnerability - Galois, Inc. https://galois.com/blog/2017/10/formal-methods-krack-vulnerability/ 0 comments
- Performance Improvements via Formally-Verified Cryptography in Firefox - Mozilla Security Blog https://blog.mozilla.org/security/2020/07/06/performance-improvements-via-formally-verified-cryptography-in-firefox/ 0 comments
- GitHub - hacl-star/hacl-star: HACL*, a formally verified cryptographic library written in F* https://github.com/project-everest/hacl-star 0 comments
Related searches:
Search whole site: site:project-everest.github.io
Search title: Project Everest
See how to search.