BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Laboratoire de Mathématiques de Versailles - ECPv6.16.2//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:20210328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20211031T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20221030T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20221013T110000
DTEND;TZID=Europe/Paris:20221013T120000
DTSTAMP:20260518T065753
CREATED:20221009T210632Z
LAST-MODIFIED:20221013T105400Z
UID:10927-1665658800-1665662400@lmv.math.cnrs.fr
SUMMARY:CRYPTO : Patrick Derbez (Université Rennes 1) : MILP appliqué à la cryptographie
DESCRIPTION:Rechercher les meilleures attaques et les meilleurs distingueurs contre les primitives cryptographiques a toujours été une tâche difficile. Depuis une dizaine d’années\, l’utilisation de solveurs MILP pour résoudre ce type de problèmes s’est largement démocratisée. Dans cette présentation nous discuterons de différentes techniques de cryptanalyse et des modélisations MILP associées. Nous aborderons les limites de ces modèles et certaines des solutions proposées pour les contourner.
URL:https://lmv.math.cnrs.fr/evenenement/crypto-patrick-derbez-universite-rennes-1-milp-applique-a-la-cryptographie/
LOCATION:Bâtiment Descartes\, salle 301
CATEGORIES:Séminaire CRYPTO
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20221020T110000
DTEND;TZID=Europe/Paris:20221020T120000
DTSTAMP:20260518T065753
CREATED:20221011T190230Z
LAST-MODIFIED:20221021T135943Z
UID:10937-1666263600-1666267200@lmv.math.cnrs.fr
SUMMARY:CRYPTO : Léo Perrin (Inria) :  La cryptographie orientée arithmétisation : pourquoi et comment ?
DESCRIPTION:La cryptographie symétrique traite de fonctions ordinairement définies sur des (chaînes de) bits en utilisant éventuellement des sous-fonctions définies sur de petits corps finis (comme l’AES et sa boîte-S définie sur GF(256)). Néanmoins\, de nouveaux protocoles sophistiqués\, par exemple de preuve à échange nul de connaissance\, nécessitent désormais des primitives symétriques dites « orientées arithmétisation » qui doivent satisfaire un cahier des charges très différent de celui auquel les cryptographes symétriques sont habitués. En effet\, il devient nécessaire de considérer des fonctions de bas degré définies sur de grands corps premiers\, ce qui est à l’antipode des usages dans ce domaine.\n\nDans cette présentation\, nous étudierons ce que l’orientation arithmétisation implique concrètement\, ce qui imposera un détour par des concepts mathématiques non triviaux issus de la théorie des fonctions Booléennes vectorielles. En particulier\, nous verrons que l’équivalence CCZ s’avère jouer un rôle prépondérant dans ce nouveau contexte. Nous verrons ensuite la famille de permutations appelées « Anemoi » dont la construction est basée sur la-dite équivalence\, de l’idée à la base de sa conception jusqu’aux performance de son implémentation finale.
URL:https://lmv.math.cnrs.fr/evenenement/crypto-leo-perrin-inria-la-cryptographie-orientee-arithmetisation-pourquoi-et-comment/
LOCATION:Bâtiment Descartes\, salle 301
CATEGORIES:Séminaire CRYPTO
END:VEVENT
END:VCALENDAR