Critical Perspectives on Provable Security: 15 Years of "Another Look" Papers [pdf] (math.uwaterloo.ca)