Analyse de la sécurité de primitives symétriques “Orientées Arithmétisation”

Analysis of the security of ''Arithmetization-Oriented'' symmetric primitives

• Auteur / Autrice : Aurélien Boeuf
• Direction : Anne Canteaut
• Type : Projet de thèse
• Discipline(s) : Sciences et technologies de l'information et de la communication
• Date : Inscription en doctorat le 01/09/2022
• Etablissement(s) : Sorbonne université
• Ecole(s) doctorale(s) : École doctorale Informatique, télécommunications et électronique de Paris (1992-...)
• Partenaire(s) de recherche : Laboratoire : INRIA Paris

Mots clés

Mots clés libres

Cryptographie

Symétrique

Arithmétisation

Mpc

Fhe

Zero-Knowledge

Cryptography

Symmetric

Arithmetization

Mpc

Fhe

Zero-Knowledge

Résumé

L'objectif de la thèse est de comprendre comment les spécificités de l'orientation arithmétisation influent sur la sécurité des primitives cryptographiques. On pourra se focaliser sur deux particularités : la simplicité algébrique des fonctions non-linéaires utilisées, et les conséquences de la vérifiabilité de bas degré.

The objective of the thesis is to understand how the specificities of being ''arithmeization-oriented'' affect the security of cryptographic primitives. We will focus on two things in particular: the algebraic simplicity of the non-linear functions used, and the consequences of low degree verifiability.