BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.18.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://www.loria.fr
X-WR-CALDESC:Évènements pour LORIA
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:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20270328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20271031T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20260911
DTEND;VALUE=DATE:20260912
DTSTAMP:20260911T091311Z
CREATED:20260910T083457Z
LAST-MODIFIED:20260911T091311Z
UID:29817-1789084800-1789171199@www.loria.fr
SUMMARY:Soutenance de thèse : Laetitia Raison-Aubry
DESCRIPTION:LAETITIA RAISON-AUBRY (équipe Neurorhythms)\, soutiendra sa thèse le 11 septembre 2026. \nDirectrice de Thèse : Laure Buhry.\n\n\n\nhttps://members.loria.fr/LRaisonAubry/
URL:https://www.loria.fr/event/soutenance-de-these-laetitia-raison-aubry/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260925T000000
DTEND;TZID=Europe/Paris:20260925T000000
DTSTAMP:20260824T084921Z
CREATED:20260715T102145Z
LAST-MODIFIED:20260824T084921Z
UID:29595-1790294400-1790294400@www.loria.fr
SUMMARY:Soutenance de thèse : Wafik Zahwa (Resist-Pesto)
DESCRIPTION:Wafik Zahwa (Resist-Pesto)\, soutiendra sa thèse le 25 septembre 2026 à 13 heures en salle C005\, avec un exposé intitulé  \n« In-Network Placement of Access Control Lists Under Constraints ».\n\nComposition du jury :\n\nRapporteurs :\nStefano Secci\, Professeur au CNAM\, Paris\nHind Castel-Taleb\, Professeure à Télécom SudParis\nExaminateurs :\nNoura Limam\, Research Assistant Professor\, University of Waterloo\, Canada\nBernardetta Addis\, Professeure à l’Université de Lorraine\nEncadrants :\nAbdelkader Lahmadi\, Professeur à l’Université de Lorraine\, chercheur au Loria\nMichaël Rusinowitch\, Directeur de recherche émérite\, au Centre Inria de l’Université de Lorraine\nMondher Ayadi\, Directeur Général\, Numeryx (encadrant industriel pour la thèse CIFRE)
URL:https://www.loria.fr/event/soutenance-de-these-wafik-zahwa-resist-pesto/
LOCATION:C005\, Loria
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260925T140000
DTEND;TZID=Europe/Paris:20260925T170000
DTSTAMP:20260925T093851Z
CREATED:20260925T093540Z
LAST-MODIFIED:20260925T093851Z
UID:29880-1790344800-1790355600@www.loria.fr
SUMMARY:Soutenance de thèse : Marie Bolzer (Caramba)
DESCRIPTION:Marie Bolzer (équipe Caramba)\, soutiendra sa thèse le 25 septembre 2026 à 14 heures en salle A008\, avec un exposé intitulé  \n« Algorithmique et outils automatiques pour la construction et l’analyse de composants de cryptographie symétrique« .\n\nComposition du jury :\n\nRapporteurs :\nCoron Jean-Sébastien\, Professeur des universités — Université du Luxembourg\nGoubin Louis\, Professeur des universités — Université de Versailles-St-Quentin-en-Yvelines\nExaminateurs :\nBelaïd Sonia\, Ingénieure — CryptoExperts\nGoaoc Xavier\, Professeur des universités — Université de Lorraine\nLe Bouder Hélène\, Maîtresse de conférences — IMT Atlantique Bretagne – Pays de la Loire\nEncadrants :\nMinier Marine\, Professeure des universités — Université de Lorraine\nDuval Sébastien\, Maître de conférences — Université de Lorraine\n\n\nRésumé : \n » Les contributions de cette thèse s’inscrivent dans le domaine de la cryptographie symétrique\, avec un premier axe consacré au design de composants résistants aux attaques par canaux auxiliaires. Nous nous intéressons en particulier à l’optimisation des implémentations de boîtes-S sous masquage booléen\, pour lesquelles la complexité et la profondeur multiplicatives constituent des métriques essentielles. Nous présentons deux outils automatiques de synthèse de circuits booléens optimisant ces métriques\, capables de traiter des fonctions jusqu’au degré 5 sur 6 bits\, au degré 3 sur 7 bits et au degré 2 sur 9 bits. Ces outils exploitent la recherche et la réutilisation de factorisations intermédiaires entre plusieurs bits de sortie. Le premier\, dédié aux fonctions quadratiques\, s’appuie notamment sur un précalcul des fonctions obtenables en une multiplication\, tandis que le second utilise des divisions successives de polynômes. \nLe second axe porte sur la cryptanalyse statistique. Nous développons d’abord un cadre statistique unifié pour l’exploitation des distingueurs classiques\, formulant cette étape comme un test statistique et permettant d’estimer la quantité de données nécessaire en fonction d’un taux de faux positifs et d’une probabilité de détection cible. L’étude de la primitive ZIP-AES nous conduit ensuite à introduire la cryptanalyse linéaire-différentielle\, une nouvelle famille de distingueurs combinant une contrainte linéaire en entrée et une observation différentielle en sortie.  » \n  \n\n  \nMarie Bolzer (équipe Caramba) will present her PhD defense entitled “Algorithmics and automatic tools for the construction and analysis of symmetric-key cryptography components”\, on September 25\, 2026\, at 2:00 p.m. in Room A008 at Loria in Nancy. \nThe defense will be followed by a gathering in the same room. \nJury: \n\nReviewers:\n\nCoron Jean-Sébastien\, Professeur des universités — Université du Luxembourg\nGoubin Louis\, Professeur des universités — Université de Versailles-St-Quentin-en-Yvelines\n\n\nExaminers:\n\nBelaïd Sonia\, Ingénieure — CryptoExperts\nGoaoc Xavier\, Professeur des universités — Université de Lorraine\nLe Bouder Hélène\, Maîtresse de conférences — IMT Atlantique Bretagne-Pays de la loire\n\n\nPhD supervisors:\n\nMinier Marine\, Professeure des universités — Université de Lorraine\nDuval Sébastien\, Maître de conférences — Université de Lorraine\n\n\n\nAbstract: \nThe contributions of this thesis lie in the field of symmetric cryptography\, with a first line of work devoted to the design of components resistant to side-channel attacks. We focus in particular on optimising implementations of S-boxes under Boolean masking\, for which multiplicative complexity and multiplicative depth are key metrics. We present two automatic tools for the synthesis of Boolean circuits optimising these metrics\, covering functions up to degree 5 on 6 bits\, degree 3 on 7 bits\, and degree 2 on 9 bits. Both tools exploit the identification and reuse of intermediate factorisations across several output bits. The first\, dedicated to quadratic functions\, relies in particular on a precomputation of the functions obtainable with a single multiplication\, while the second uses successive polynomial divisions. \nThe second line of work focuses on statistical cryptanalysis. We first develop a unified statistical framework for the exploitation of classical distinguishers\, formalising this step as a statistical hypothesis test and estimating the required data complexity as a function of a false-positive rate and a target detection probability. The study of the ZIP-AES primitive then led us to introduce linear-differential cryptanalysis\, a new family of distinguishers combining a linear constraint at the input with a differential observation at the output.
URL:https://www.loria.fr/event/soutenance-de-these-marie-bolzer-resist-pesto/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
END:VCALENDAR