Trapdoor commitments in the SwissPost e-voting shuffle proof
2019-03-17
Logipedia – Encyclopedia of Formal Proofs
2019-03-17
It’s time to start caring about “VR cinema,” and SXSW’s stunners are proof
2019-03-16
It’s time to start caring about “VR cinema,” and SXSW’s stunners are proof
2019-03-16
Okay, Maybe (Math) Proofs Aren't Dying After All
2019-03-16
Proof-of-concept code published for Windows 7 zero-day
2019-03-15
Where Proof, Evidence and Imagination Intersect
2019-03-15
My New Plan to Climate-Proof Lower Manhattan
2019-03-15