Proofs Are Programs: 19th Century Logic and 21st Century Computing [pdf]
2019-06-02
(Not) Real Scientific Proof That AMI Has #3syllables
2019-05-27
Lower Bounds and Trade-Offs in Proof Complexity
2019-05-27
Fair Computation with Shared Ledgers
2019-05-27
Digital Identity Guidelines – Enrollment and Identity Proofing (2017)
2019-05-26
OpenVMS Software: Proof Points to x86-64 First Boot
2019-05-26
Mathematicians report possible progress on the Riemann hypothesis – Science News
2019-05-25
Verifying Quantum Proofs with Entangled Games
2019-05-24
Using cryptography for tamper-proof election results after close of polling
2019-05-24
Proof it's possible to enhance or suppress memories
2019-05-23