Veriff
Online identity verification with superpowers
SeL4 is verified on RISC-V
2020-06-09
Twitter to launch revamped verification system w publicly documented guidelines
2020-06-08
Myths of Reliability
2020-06-07
Verifiable Random Number Generator Using Crypto and Blockchain
2020-06-07
The Increasingly Ordinary Task of Verifying RISC-V
2020-06-07
Ask HN: How to find research on a certain topic
2020-06-06
Verifiably Random Ethereum Lottery
2020-06-05
Comprehensive Formal Verification of an OS Microkernel [pdf]
2020-06-04
Study finds political bias skews perceptions of verifiable fact
2020-06-04
Chaos Engineering and Continuous Verification in Production
2020-06-04
