Can You Slop Out High-Assurance Cryptography?

(mrosenberg.pub)

5 points | by tptacek 8 hours ago ago