News for hackers. Stuff that matters.

A comment on Patch Critical Cryptographic Vulnerability in Microsoft Windows [pdf]. Parent comment

Re:Patch Critical Cryptographic Vulnerability in Microsoft W... by LightMachine on Wednesday January 15, 2020 @05:40AM (#22053168)
I wonder if I should take those opportunities to talk about Formality (https://github.com/moonad/formality).
[ Parent | on HN ]

There are no comments on this comment yet.