This paper by Bernstein on how often algorithm analysis fails, how to characterize this and how to mitigate it, is pretty frickin' good.

The analysis is with emphasis on proofs of security. Would recommend.

https://cr.yp.to/papers/eraa-20250203.pdf

Comments