Verified Programming in F*: A Tutorial
2020-09-25
Formal Verification of Legacy Code (2016)
2020-09-25
U.S. election officials turn to signature-verifying software in mail-in surge
2020-09-24
A transparent, highly scalable and cryptographically verifiable data store
2020-09-24
Show HN: ML and RFID to Read and verify the embedded chip in passports
2020-09-23
WMO Verifies -69.6°C Greenland Temperature as Northern Hemisphere Record
2020-09-23
Ask HN: Great Codebases You've Worked With?
2020-09-21
WTF: Google’s OAuth verification process and security assessment
2020-09-18
Ask HN: Hitting a brick wall with MAPS 715-123160
2020-09-17
The ‘blst’ BLS verification project
2020-09-17