Photo by Pamela Callaway on Unsplash

Doing What It Says on The Crypto Tin: Verified Cryptography Code For Everyone

When do developers ever create proof that their code actually does what it says it does? Well, it’s not an easy task, especially to prove against a mathematical implementation. So what we normally do is to test against a specification that matches the requirements, but this is no proof we have forgotten to test for every scenario. But a great new paper by…