2019.11.24 01:19:25 (1198395661403725824) from Daniel J. Bernstein:
Amazing compendium of failures of "provable security": https://eprint.iacr.org/2019/1336. I saw a preprint months ago and the shock value of the huge lists still hasn't worn off. I think (and hope) this will put an end to the delusion that provable-security failures are isolated mistakes.