Can You Slop Out High-Assurance Cryptography?

(mrosenberg.pub)

6 points | by tptacek 8 hours ago ago