Breaking Provably Secure Systems Gödel's Lost Letter and P=NP, 13 Mar 2010 Provably secure crypto-systems can and have been broken Neal Koblitz is a strong number theorist who is famous, among other…