Critical Perspectives on Provable Security: 15 Years of "Another Look" Papers [pdf] | Dark Hacker News