[Cryptography] Security proofs prove non-failproof

Peter Gutmann pgut001 at cs.auckland.ac.nz
Thu Feb 16 03:33:49 EST 2017


The IACR ePrint archive has just published a paper, "Attacks on Secure Logging
Schemes", http://eprint.iacr.org/2017/095, that breaks three secure logging
schemes.  What makes this one particularly interesting is that all of the
schemes that were broken came with security proofs.

Peter (who's a big fan of schemes that can be handled with "two beers' worth
       of analysis", uh, proofs).


More information about the cryptography mailing list