Can You Slop Out High-Assurance Cryptography?

5 points | by tptacek 8 hours ago