14h00

Soutenance de thèse de MARIE BOLZER

Algorithmique et outils automatiques pour la construction et l'analyse de composants de cryptographie symétrique

Algorithmics and automatic tools for the construction and analysis of symmetric-key cryptography components

Jury

Directeur de these_MINIER_Marine_Université de Lorraine
Rapporteur_CORON_Jean-Sébastien_Université du Luxembourg
Rapporteur_GOUBIN_Louis_Université de Versailles-St-Quentin-en-Yvelines
CoDirecteur de these_DUVAL _Sébastien_Université de Lorraine
Examinateur_LE BOUDER_Hélène_IMT Atlantique Bretagne-Pays de la loire
Examinateur_BELAID_Sonia_CryptoExperts
Examinateur_GOAOC_Xavier_Université de Lorraine

école doctorale

IAEM - INFORMATIQUE - AUTOMATIQUE - ELECTRONIQUE - ELECTROTECHNIQUE - MATHEMATIQUES

Laboratoire

LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications

Mention de diplôme

Informatique
A008 Loria 615 rue du jardin botanique 54600 Villers-les-Nancy
*

Mots clés

Cryptographie à bas coût,Boîte-S,Implémentation logicielle,Implémentation matérielle,Distingueurs statistiques,

Résumé de la thèse

Les contributions de cette thèse s'inscrivent dans le domaine de la cryptographie symétrique et s'articulent autour de deux grands axes : le design et la cryptanalyse. D'un côté, on cherche à concevoir des composants à la fois sûrs et peu coûteux à implémenter et de l'autre, à disposer d'outils rigoureux pour vérifier et quantifier cette sécurité. L'objectif de cette thèse est d'utiliser l'algorithmique et de développer des outils pour progresser sur ces problématiques.

Keywords

Lightweight cryptography,S-box,Hardware implementation,Software implementation,Statistical Distinguisher,

Abstract

This thesis explores two complementary aspects of symmetric cryptography: design and cryptanalysis. On one side, the goal is to design components that are both secure and lightweight to implement; on the other, to develop rigorous tools for verifying and quantifying this security. The objective of this thesis is to use algorithmic methods and to develop tools to make progress on these problems. On the design side, we focused on optimising implementations of S-boxes that are resistant to side-channel attacks.