Tootfinder

Good overview on where to get started to improve #cryptography code by Jade Philipoom at #39c3: https://

[39c3] How To Minimize Bugs in Cryptography Code
Over the last 10 years or so, using mathematical proof assistants and other formal-logic tools for cryptography code has gone from a relatively new idea to standard practice. I've been lucky enough to have a front-row seat to that transformation, ...