Can You Slop Out High-Assurance Cryptography?https://mrosenberg.pub/blog/cryptoslop/#Cryptography #Programming