2 ms·
Except humans haven't developed ways to write bug free code except in a very few limited circumstances none of which crypto uses.
by JaimeThompson 5y ago
Except humans haven't developed ways to write bug free code except in a very few limited circumstances none of which crypto uses.
- unemphysbro 5y agohence the recent renaissance in formal methods eg. https://www.certik.com/ https://www.certik.com/
- exdsq 5y agoFormal methods doesn't necessarily mean that you're building the right thing which catches quite a few projects out. I do really enjoy getting to work with them though :D