[Cryptography] List of Proven Secure Ciphers / Hashes

[Benjamin Kreuter]

On Wed, 2014-09-03 at 03:04 -0400, grarpamp wrote:
> On Mon, Aug 11, 2014 at 9:27 PM, Tony Arcieri <bascule at gmail.com> wrote:
> > AES is not
> > proven secure, but rather relies on the fact that nobody presently knows how
> > to break AES for security.
> 
> That's true for a lot (all?) of crypto.
> So what if any ciphers, hashes, asymmetrics, etc make
> up the list of formally proofed secure crypto besides the
> one time XOR? Simple links would suffice.

Define your terms.  What do you mean by "proven secure?"  We commonly
say that e.g. ElGamal is provably secure, but:

1. That is based on an unproven assumption
2. The proof only covers chosen plaintext attacks

If you want things that can be proved without any assumptions at all you
will have to exclude most cryptographic constructions.

-- Ben
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 836 bytes
Desc: This is a digitally signed message part
URL: <http://www.metzdowd.com/pipermail/cryptography/attachments/20140904/1abaf685/attachment.sig>