4 ms·
The best example is of SSL. Over a decade and we have not even got "correctness" part right.
by tn13 11y ago
The best example is of SSL. Over a decade and we have not even got "correctness" part right.
- wtbob 11y agoOver a decade? It's over twenty years old! SSL/TLS & its XPKI are complete and utter jokes.
- ArkyBeagle 11y agoThat shows a massive revealed preference, and says nothing about what is possible in software.