Blog

Day: October 3, 2013

Mathematical Proofs Improve But Don’t Guarantee Security, Safety, and Friendliness

In 1979, Michael Rabin proved that his encryption system could be inverted — so as to decrypt the encrypted message — only if an attacker could factor n. And since this factoring task is computationally hard for any sufficiently large...