Source: cirosantilli/provably-secure-symmetric-key-algorithm
= Provably secure symmetric-key algorithm
{wiki}
There aren't any 2020, except in the trivial <one-time pad> case where the key is as large as the message: https://crypto.stackexchange.com/questions/10815/how-do-we-prove-that-aes-des-etc-are-secure