Introducing people to data security and cryptography > Another Look at “Provable Security”

Inquiries into formalism and naive intuition behind security proofs, by Neal Koblitz et al.