Top all-time · #15623
Symbolic Software
Company blog · symbolic.software/blogsecurityprogramming
Symbolic Software is the company blog at symbolic.software, writing about security and programming. Since 2024, 5 different Hacker News readers have linked it 6 times, most often “The Promises of 'High-Assurance' Cryptography”. It is still writing: the last post was on 2026-10-15, and you can follow it by feed.
Too few sampled comments (1) to say how often HN recommends it.?
Why HN links it
Linked as a source for a Kyber flaw: one commenter cites the post's account of a variable-time vulnerability in the reference C Kyber code, which the commenter says also affects Mullvad's usage.
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.
Independent cryptography reviews, from protocol design to implementation. Explore public findings and plan a review led by a senior cryptographer.
Most-linked posts?
- The Promises of 'High-Assurance' Cryptography2 people · 2 mentions · first linked 2026-02-05
What Hacker News says?
As seen below, this vulnerabilty was also present in the reference C Kyber code https://symbolic.software/blog/2023-12-19-kyberk2sovariablet...
Comment linking /blog/2023-12-19-kyberk2sovariabletiming/
on “Mullvad's usage of Kyber is not affected by KyberSlash”Submitted Telegram's MTProto: Assessing Deanonymization Potential for a Network Attacker [pdf] as a story · 1 points
HN discussionSubmitted The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline as a story · 1 points
HN discussionSubmitted The Promises of 'High-Assurance' Cryptography as a story · 1 points
HN discussionSubmitted Verifpal, Rewritten in Rust as a story · 1 points
HN discussionSubmitted The Promises of 'High-Assurance' Cryptography as a story · 1 points
HN discussion