Veriff
Online identity verification with superpowers
Zoom unveils new security features including E2EE for Zoom Phone
2021-09-14
Twitter is once more accepting requests for verification
2021-09-14
Program Verification: Vision and Reality
2021-09-14
Formal Verification of High-Level Synthesis [pdf]
2021-09-13
Ask HN: Is Your Company Mandating the Vaccine?
2021-09-13
Rich Specifications for Ethereum Smart Contract Verification
2021-09-11
Rust Verification Tools a Retrospective
2021-09-10
Brenthuisman/par2deep: Produce, verify and repair par2 files recursively
2021-09-09
Make your life carbon neutral?
2021-09-09
Show HN: Stamp – A Cryptographic Identity System
2021-09-08
