Top all-time · #21471
Kryptos Logic Research
Company blog · kryptoslogic.blogspot.comsecurity
Kryptos Logic Research is the company blog at kryptoslogic.blogspot.com, writing about security. Since 2015, 3 different Hacker News readers have linked it 4 times, most often “OpenSSL's squaring bug, and opportunistic formal verification”. The last post was in 2016, but the archive is still widely read.
Too few sampled comments (1) to say how often HN recommends it.?
Why HN links it
HN readers link this blog for its analysis of the OpenSSL squaring bug, including a write-up on detecting it with the Z3 solver.
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.
Software Security Solutions
Most-linked posts?
- OpenSSL's squaring bug, and opportunistic formal verification2 people · 2 mentions · first linked 2015-01-09
What Hacker News says?
KryptosLogic has a good write-up on this showing how it can be detected with Z3: http://kryptoslogic.blogspot.com/2015/01/openssls-squaring-b...
Comment linking /2015/01/openssls-squaring-bug-and-opportunistic.html
on “OpenSSL Security Advisory”Submitted Complexity is the bugdoor's friend as a story · 28 points
HN discussionSubmitted OpenSSL's squaring bug, and opportunistic formal verification as a story · 25 points
HN discussionSubmitted ZeroAccess 3 Analysis as a story · 1 points
HN discussion