We're not talking about code bugs per se (program computes something different from what you intended). It's more like mathematical errors: you correctly compu

We're not talking about code bugs per se (program computes something different from what you intended). It's more like mathematical errors: you correctly compute what you intended to, but that turns out to be insecure for subtle reasons. Padding oracle attacks are an example that the article spent some time on.