Tony Morris

OpenSSL works well because of having f̶u̶c̶k̶i̶n̶g̶ ̶p̶r̶o̶v̶e̶d̶ ̶i̶t̶ used it many times by many people. Makes sense. #fools @thelmstedt

@dibblego Proving the code would be nice, but TLS is pretty much assumptions all of the way down. At least they're backed up with #data

@thelmstedt Empirical data right? That's a good way to find true facts about our software right?

@dibblego well, it's a way to point towards possibly true facts (eg. integer factorisation being intractable)

@thelmstedt I wonder if there is a better way. You know, that is reliable and coincides with the world in which we actually live.

@dibblego find that way and you've got a fields medal waiting for you!