BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen - ECPv5.7.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
X-ORIGINAL-URL:https://www.greyc.fr
X-WR-CALDESC:évènements pour GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
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
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20211012T100000
DTEND;TZID=Europe/Paris:20211012T110000
DTSTAMP:20260826T001654
CREATED:20211012T080531Z
LAST-MODIFIED:20211012T080531Z
UID:10621-1634032800-1634036400@www.greyc.fr
SUMMARY:Benoit Barbot (LACL\, Univ. Paris Est Créteil) :  "Sampling uniforme de langage d'automate temporisé"
DESCRIPTION:Résumé : In this work we develop Monte-Carlo model checking techniques to evaluate quantitative properties of timed languages. Our approach is based on uniform random sampling of behaviors\, as opposed to isotropic sampling that chooses the next step uniformly at random. The uniformity is defined with respect to volume measure of timed languages previously studied by Asarin\, Basset and Degorre. We apply it to the validation inclusion of time language and on cyber-physical systems (CPS) via simulations based on sampling of the input signal space. We describe a prototype tool chain and demonstrate the proposed methods on a Kinetic Battery Model (KiBaM) and a Sigma Delta modulator.
URL:https://www.greyc.fr/event/benoit-barbot-lacl-univ-paris-est-creteil-sampling-uniforme-de-langage-dautomate-temporise/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20211013T140000
DTEND;TZID=Europe/Paris:20211013T150000
DTSTAMP:20260826T001654
CREATED:20210924T112943Z
LAST-MODIFIED:20210924T133918Z
UID:10604-1634133600-1634137200@www.greyc.fr
SUMMARY:Boly Seck - Cryptographie basée sur les codes et attaque template sur ”Classic McEliece”
DESCRIPTION:Les protocoles de sécurité modernes dans la plupart de nos systèmes reposent principalement sur trois fonctions de base de la cryptographie asymétrique : le chiffrement à clé publique\, la signature numérique et l’échange de clés. Aujourd’hui\, nous ne faisons que de l’échange de clés (TLS 1.3) avec le protocole de Diffie-Hellman sur les courbes elliptiques (ECDH). La confidentialité est persistante\, car les clés de session sont jetées à la fin et pour certifier cet échange de clés\, on le signe avec du RSA ou ECDSA. Ce pendant\, ces cryptosystèmes sont attaquables du moins théoriquement dans un modèle d’ordinateur quantique. D’où le processus de normalisation du NIST qui a donné un élan considérable à la recherche en cryptographie post-quantique. Les approches les plus populaires sont celles basées sur la recherche de mots de petits poids pour les réseaux\, le problème de décodage des codes aléatoires\, la résolution des systèmes de polynômes à plusieurs variables\, les isogénies et les fonctions de hachage pour les signatures. Outre la définition de schémas sécurisés et le choix des paramètres\, une question importante dans le processus de normalisation du NIST est l’impact de la mise en œuvre d’un schéma sur la sécurité. Notamment\, les vulnérabilités des algorithmes post-quantiques face aux attaques par canaux cachés. Dans cet exposé nous allons d’abord vous parler de la cryptographie à base de codes. Ensuite\, présenter le candidat Classic McEliece (finaliste du processus) qui est un mécanisme d’échange de clé (KEM) basé sur les codes. Enfin\, une attaque par analyse de consommation sur ce schéma sera détaillée. Notre attaque est réalisée sur une implantation en temps constant de Classic McEliece qui a été proposée par Chen et Chou à IACR Crypto 2021 sur du ARM Cortex-M4 à 32 bits. \n  \n 
URL:https://www.greyc.fr/event/boly-seck-cryptographie-basee-sur-les-codes-et-attaque-template-sur-classic-mceliece/
LOCATION:Sciences 3- S3 351
CATEGORIES:Séminaire Cryptologie et sécurité
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20211026T100000
DTEND;TZID=Europe/Paris:20211026T110000
DTSTAMP:20260826T001654
CREATED:20211025T091749Z
LAST-MODIFIED:20211025T091749Z
UID:10629-1635242400-1635246000@www.greyc.fr
SUMMARY:Séminaire ALGO : Benjamin Hellouin (LRI\, Univ. Paris Sud)\, "Comportement asymptotique de l'automate cyclique à 3 états"
DESCRIPTION:La dominance cyclique est un phénomène où différents états (espèces\, stratégies…) sont dans une relation cyclique de proie à prédateur :\nA mange B mange C mange A. Il s’agit d’une situation classique dans des systèmes écologiques réels\, en théorie évolutionnaire des jeux\, etc.\nSimuler la dominance cyclique avec des modèles de type Lotka-Volterra fait apparaître des cycles hétérocliniques : chaque état\, tour à tour\, domine presque tout l’espace\, puis se voit remplacé par l’état suivant. Les modèles avec une composante spatiale montrent aussi que les mêmes états s’amalgament et tendent à dominer localement avant d’être remplacés.\nDans ce travail\, nous considérons le modèle spatial de dominance cyclique le plus simple possible – dimension 1\, 3 états\, mise à jour synchrone et déterministe (automate cellulaire) – en attribuant des densités différentes aux états initiaux. Au fur et à mesure que les états s’amalgament\, la probabilité asymptotique de voir un état dominer une région correspond à la densité initiale de sa proie (« Tu deviens ce que tu manges »). De tels phénomènes et leurs conséquences paradoxales (« Survie du plus faible ») avaient été observés empiriquement mais dans des modèles plus complexes\, et nous en fournissons une preuve formelle.\nLes outils utilisés sont des probabilités discrètes\, en particulier les systèmes de particules et les marches aléatoires.\nIl s’agit d’une collaboration avec Yvan le Borgne (LaBRI\, Bordeaux).
URL:https://www.greyc.fr/event/seminaire-algo-benjamin-hellouin-lri-univ-paris-sud-comportement-asymptotique-de-lautomate-cyclique-a-3-etats/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,Séminaire Algo
END:VEVENT
END:VCALENDAR