Veriff
Online identity verification with superpowers
Trust, but Verify
2019-06-03
RedLeaf: Towards an Operating System for Safe and Verified Firmware [pdf]
2019-06-02
Verified Compilation on a Verified Processor [pdf]
2019-06-02
Compositional Compiler Verification for a Multi-Language World – Amal Ahmed
2019-06-01
Add Hugo to Docker Build Image
2019-05-31
Open-sourcing our commit verification tool, Wilfred
2019-05-30
Computer Scientists Expand the Frontier of Verifiable Knowledge
2019-05-30
Audience reviews on Rotten Tomatoes are easily manipulated, that's to change
2019-05-26
Facial Recognition in Identity Verification
2019-05-25
Verifying Quantum Proofs with Entangled Games
2019-05-24
