Top all-time · #11375
Cryspen
Company blog · cryspen.com/postsecurityprogramming
Cryspen is the company blog at cryspen.com, writing about security and programming. Since 2023, 7 different Hacker News readers have linked it 7 times, most often “An Analysis of Signal's Pqxdh”. It is still writing: the last post was on 2026-10-16, and you can follow it by feed.
Too few sampled comments (1) to say how often HN recommends it.?
Why HN links it
HN readers link Cryspen's post in the 'NSA and IETF' series on rushing cryptographic standards and implementations. One commenter builds on it to discuss timing side channels in early ML-KEM/Kyber implementations.
Summarised by Claude from a sample of 1 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Formally Verified Software
Most-linked posts?
- An Analysis of Signal's Pqxdh4 people · 4 mentions · first linked 2023-10-20
- Verified ML-KEM (Kyber) in Rust2 people · 2 mentions · first linked 2024-02-01
What Hacker News says?
Amongst the numerous reasons why you _don't_ want to rush into implementing new algorithms is even the _reference implementation_ (and most other early implementations) for Kyber/ML-KEM included multiple timing side channel vulnerabilities that allowed for key recovery.[1][2] djb has been consistent in view for decades that cryptography standards need to consider the foolproofness of implementation so that a minor i…
Comment linking /post/ml-kem-implementation/
on “NSA and IETF, part 3: Dodging the issues at hand”Submitted An Analysis of Signal's Pqxdh as a story · 4 points
HN discussionSubmitted An Analysis of Signal's Pqxdh as a story · 2 points
HN discussionSubmitted Cryptographic Protocol Verification with Hax as a story · 1 points
HN discussionSubmitted Verified ML-KEM (Kyber) in Rust as a story · 1 points
HN discussionSubmitted An Analysis of Signal's Pqxdh as a story · 1 points
HN discussion- dm · 2023-10-20
Submitted An Analysis of Signal's PQXDH as a story · 1 points
HN discussion