[Cryptography] List of Proven Secure Ciphers / Hashes

[grarpamp]

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.