[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