[oddlama]

Then the next heartbleed could be a sidechannel not covered in your theorem. Better prepare in any case.

[naasking]

Side channels are indeed a tough problem, but if all we have to worry about is side channel attacks, we'd be in a pretty good place overall. We're nowhere near that right now.