[munin]

it would be really, really interesting if fuzzing found an error in the proof! there isn't a good track record for this though. i've been thinking about what to do to have a chance of success with that for a little.

[viraptor]

I've got a feeling that would be a very common reference point for many future "theoretical or practical security" debates...

[munin]

those debates don't use facts or evidence, so, probably not ;)