BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Laboratoire de Mathématiques de Versailles - ECPv6.16.4.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Laboratoire de Mathématiques de Versailles
X-ORIGINAL-URL:https://lmv.math.cnrs.fr
X-WR-CALDESC:Évènements pour Laboratoire de Mathématiques de Versailles
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20241027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20241014T140000
DTEND;TZID=Europe/Paris:20241014T170000
DTSTAMP:20241018T114730Z
CREATED:20241003T140154Z
LAST-MODIFIED:20241018T114730Z
UID:13172-1728914400-1728925200@lmv.math.cnrs.fr
SUMMARY:Soutenance de thèse de Margot Funk : Algorithmes et outils pour la cryptanalyse des primitives symétriques
DESCRIPTION:Margot Funk soutient sa thèse intitulée « Algorithmes et outils pour la cryptanalyse des primitives symétriques »\, encadrée par Louis Goubin\, Christina Boura et Yann Rotella \nle lundi 14 octobre 2024 à 14h\, en amphi E\, bâtiment Descartes. \nRésumé : Les constructions cryptographiques reposent sur des primitives dont la sécurité doit être analysée de manière approfondie et continue. Dans cette thèse\, nous développons des algorithmes et des outils pour évaluer la sécurité des primitives symétriques par rapport à certaines attaques classiques. Nous présentons des algorithmes pour la cryptanalyse différentielle\, qui est une des principales familles d’attaques en cryptographie symétrique. Nous étudions les chemins différentiels de deux primitives très différentes — le standard de chiffrement AES et la fonction de hachage ternaire Troika — en exploitant leurs spécificités pour réduire l’espace de recherche. Nous montrons que nous pouvons retrouver les meilleurs chemins différentiels à clés liées de l’AES sans utiliser de solveur générique grâce à une approche de programmation dynamique. Notre travail démontre que les meilleurs chemins sont assez structurés. Pour l’étude des chemins différentiels de Troika\, nous utilisons un algorithme ad hoc plus adapté à cette fonction que les outils automatiques utilisant des solveurs génériques. Nous proposons aussi des outils pour aider à concevoir des primitives. Avec une nouvelle méthode basée sur des modèles MILP\, nous avons trouvé des cadencements de clé alternatifs pour l’AES ayant de meilleures propriétés différentielles. Enfin\, nous travaillons sur un outil simple pour aider les concepteurs à réaliser une première analyse des formes polynomiales décrivant leurs primitives. Nous cherchons à repérer si une classe de monômes d’un certain degré est sous-représentée.
URL:https://lmv.math.cnrs.fr/evenenement/soutenance-de-these-de-margot-funk-algorithmes-et-outils-pour-la-cryptanalyse-des-primitives-symetriques/
LOCATION:Bâtiment Descartes\, amphi E
CATEGORIES:Soutenance de thèse
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20241015T140000
DTEND;TZID=Europe/Paris:20241015T170000
DTSTAMP:20241018T114754Z
CREATED:20241003T142901Z
LAST-MODIFIED:20241018T114754Z
UID:13174-1729000800-1729011600@lmv.math.cnrs.fr
SUMMARY:Soutenance de thèse de Rachelle Heim : Cryptanalyse symétrique : des modes aux primitives
DESCRIPTION:Rachelle Heim soutient sa thèse intitulée « Cryptanalyse symétrique : des modes aux primitives »\, encadrée par Henri Gilbert\, Christina Boura et Yann Rotella\, \nle mardi 15 octobre 2024 à 14h\, à Inria Paris\, amphithéâtre Jacques-Louis Lions. \nRésumé : Ce mémoire présente des contributions à l’analyse de la sécurité des cryptosystèmes symétriques\, ou cryptanalyse symétrique. Nous étudions à la fois la sécurité des primitives (et plus précisément\, de chiffrements par blocs\, de fonctions de hachage et d’un chiffrement à flot) et des modes opératoires (et plus précisément\, de modes dédiés au chiffrement authentifié et de modes dédiés au hachage). Concernant la cryptanalyse de primitives\, nous utilisons et proposons des améliorations à plusieurs techniques de cryptanalyse classiques\, parmi lesquelles les attaques différentielles et par linéarisation. En ce qui concerne la cryptanalyse de modes\, nous améliorons plusieurs attaques génériques grâce à l’introduction de nouvelles techniques basées sur des fonctions aléatoires dites exceptionnelles. Nous étudions également un schéma de chiffrement authentifié entièrement spécifié. La plupart de nos attaques considèrent des instances complètes\, et plusieurs aboutissent à une cryptanalyse complète du cryptosystème considéré.
URL:https://lmv.math.cnrs.fr/evenenement/soutenance-de-these-de-rachelle-heim-cryptanalyse-symetrique-des-modes-aux-primitives/
CATEGORIES:Soutenance de thèse
END:VEVENT
END:VCALENDAR