Security of Modes of Operation and other provably secure cryptographic schemes
Sécurité des modes d'opération et d'autres constructions formellement sûres
Abstract
This thesis is about symmetric, or private key, cryptography. It has a focus on modes of operation and, more generally, on all cryptographic schemes that admit a formal proof of security with an accent on the cryptanalysis of such constructions. There are multiple contributions shown in this work. Firstly, we show an attack that recovers a secret information that has been encrypted via the counter mode (CTR) with a total complexity close to the known distinguisher. We also mount the first non-trivial forgeries on a variety of MACs following the Double-block Hash-then-Sum construction and whose data complexity was later proved to be optimal. Then, we propose a new authenticated encryption scheme (ANYDAE) which is derived from MONDAE, and we prove its security under to a more robust security notion. As for other cryptographic schemes, we establish a link between the famous 3-XOR problem and the cryptanalysis of two rounds of the Even-Mansour construction which allows us to build new attacks that are especially competitive in terms of data and memory complexities. Finally, we show a generic cryptanalysis on the iterated tweakable FX strategy that notably proves the optimality of the XHX2 security proof.
Cette thèse traite de cryptographie symétrique, aussi appelée cryptographie à clé privée. Nous nous intéresserons particulièrement aux constructions admettant une preuve de sécurité tels que les modes d'opération avec un accent sur la cryptanalyse de ces constructions. Les contributions de cette thèse sont multiples. D'abord nous proposons une attaque qui retrouve de l'information secrète chiffrée en mode compteur (CTR) pour une complexité proche de celle du distingueur connu. Nous montons aussi les premières cryptanalyses non-triviales sur un ensemble de MACs (nommés Double-block Hash-then-Sum) dont la complexité en donnés s'est avérée optimale. Ensuite, nous proposons un nouveau chiffrement authentifié (ANYDAE) dérivé de MONDAE et nous donnons la preuve qu'ANYDAE satisfait une notion de sécurité plus robuste. Pour ce qui des autres constructions cryptographiques, nous établissons un lien entre le problème du 3-XOR et la cryptanalyse de deux tours d'Even-Mansour ce qui nous permet d'obtenir de nouvelles attaques très compétitives notamment en termes de nombre de données et de mémoire. Enfin, nous proposons une cryptanalyse générique des constructions FX itérées et paramétrables (tweakable) qui, notamment, montre l'optimalité de la borne de sécurité de XHX2.
Origin | Version validated by the jury (STAR) |
---|