Fake video news debunker tools and services

2019-06-06

Managing cybersecurity break-ins using BLE devices to verify attackers

2019-06-06

Computer Scientists Expand the Frontier of Verifiable Knowledge

2019-06-06

BPF and Formal Verification (2015)

2019-06-06

Verified Expert Growth Marketing Agency: Bell Curve

2019-06-05

Writing a formally-verified image browser in Coq and Haskell (2017)

2019-06-05

The case against E-Verify for illegal immigrants to the US

2019-06-05

RedLeaf: Towards an Operating System for Safe and Verified Firmware [pdf]

2019-06-04

In Search of Verified On-the-Fly Concurrent Garbage Collection on Modern CPUs

2019-06-04

Systems of quantum computers can verify NEEXP problems

2019-06-03