2013.01.24 16:22:07 (294465109613477889) from Daniel J. Bernstein:
Some evidence that "provable security" is negatively correlated with actual security: http://cr.yp.to/talks/2013.01.23/slides.pdf