Hacker-Proof Code Confirmed (quantamagazine.org)

4 points by signa11 7y ago ↗ HN

2 comments

[ 2.6 ms ] story [ 12.1 ms ] thread

PQfanboy 7y ago ↗

Formal verification: https://en.wikipedia.org/wiki/Formal_verification

[dead] stevespang 7y ago ↗

the article is like 2 years old ?