HACL*: a formally verified cryptographic library

2021-01-05

Automated Symbolic Verification of Telegram’s MTProto 2.0

2021-01-05

Twitter Verified Accounts Hijacked for Elon Musk Scam

2021-01-04

Tell HN: Facebook leaks the contacts of any not-on-Facebook email address

2021-01-04

Verified Programming in F*: A Tutorial

2021-01-04

Using checksums to verify syncing 100M database records

2021-01-03

Immudb: Light immutable db with built-in cryptographic proof and verification

2021-01-01

Automated Symbolic Verification of Telegram's Cryptographic Protocol

2020-12-24

Mkproof – A simple tool for generating and verifying proofs of work

2020-12-23

Discuss HN: The Last 10 Years

2020-12-22