Veriff
Online identity verification with superpowers
Enhanced Android Security: Build Integrity Verification
2020-07-30
CPaT Global introduces groundbreaking student verification for airline training
2020-07-30
Dafny: Verification-Aware Programming Language
2020-07-30
What4: A library to help build verification and program analysis tools
2020-07-30
Show HN: UPUP Simple Credit Card Verification to Reduce Fraud
2020-07-29
Service that uses AI to identify gender based on names looks incredibly biased
2020-07-29
Get Started with Dafny: Language and Program Verifier for Functional Correctness
2020-07-29
AI based “gender verification” startup demonstrates AI bias again
2020-07-29
Show HN: Solve My Test
2020-07-26
Ask HN: Is anyone using KeYmaera X for Cyber-Physical Systems?
2020-07-26
