3 ms·
> Kerckhoff's principle applies That's true and yet unhelpful because all software has errors, some obvious, some not.
by ebg13 7y ago
> Kerckhoff's principle applies
That's true and yet unhelpful because all software has errors, some obvious, some not.
- mratsim 7y agoCryptographic software is at the very least audited, at the very best formally verified (i.e. proven bug-free). And now you can use proof assistants that are used to prove mathematical formulas to generate crypto code: https://github.com/mit-plv/fiat-crypto https://github.com/mit-plv/fiat-crypto