A Plausible Approach to Computer-aided Cryptographic Proofs Shai Halevi June 2005 The Problem Crypto proofs are hard to verify Many (most?) published proofs aren’t read…