Veriff
Online identity verification with superpowers
A Primer on Separation Logic (Automatic Program Verification and Analysis)(2011) [pdf]
2019-04-05
EverCrypt: A Verified Crypto Provider Engineered for Multi-Platform Performance
2019-04-04
HACL*, a formally verified cryptographic library written in F*
2019-04-04
EverCrypt: A Verified Crypto Provider
2019-04-03
Facebook demanding the password of personal email accounts for verification
2019-04-03
认证 Ashley McNamara
2019-04-02
Free OMR Sheet Checking Software – Verificare
2019-04-02
Notepad++ Adds GPG Signature to Verify Authenticity
2019-04-01
Men outraged after Tinder introduces height verification
2019-03-31
Tinder Introduces Height Verification
2019-03-31
