Veriff
Online identity verification with superpowers
Language Design Meets Verifying Compilers (GPCE 2022 Keynote)
2023-03-13
Verus: Verifying Rust Programs Using Linear Ghost Types (Extended Version)
2023-03-13
Digital verification crisis shows unhealthy dependency on centralised platforms
2023-03-13
Pure USB Data Blocker: transparent for verification
2023-03-11
Age Verification Mandates Would Undermine Anonymity Online
2023-03-11
Tell HN: A government ID card is required to use ChatGPT in Germany
2023-03-10
Phone verification is ransomware to your privacy
2023-03-10
What Makes RISC-V Verification Unique?
2023-03-09
Ask HN: Why most websites on the Internets require me to add second factor?
2023-03-09
Ask HN: Next step in creating a hardware startup?
2023-03-09
