Partenaires





« janvier 2019 »
L M M J V S D
31 1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 31 1 2 3

Rechercher

Sur ce site

Sur le Web du CNRS


Accueil du site > Séminaires et journées internes > Séminaires de CRYPTO

Séminaires CRYPTO 2018-2019

Agenda

séminaire

    • Mardi 22 janvier 11:30-12:30 - Fabrice Rouiller - IMJ

      Quelques outils pour l’étude des variétés algébriques

      Résumé : Le but de l’exposé sera de présenter quelques travaux s’articulant autour de l’utilisation d’objets calculables pour l’étude des variétés algébriques (existence de points réels, discussion de la structure des solutions en fonction de paramètres, connexité, paramétrisation de solutions de systèmes algébriques zéro-dimensionnels, etc.)
      Comme fil rouge, nous parlerons de recherche de structures CR-Sphériques pour une gamme de variétés de petites dimensions généralisant les travaux initiés par Thurston dans le cas hyperbolique. De façon très raccourcie, une variété triangulée de C^3 peut être décrite par un objet combinatoire (recollement de tétrahèdres) définissant naturellement une variété algébrique. Le groupe fondamental de cette variété triangulée peut alors être vue comme un sous-groupe de matrices dont les entrées dépendent directement de points sur cette variété. L’existence de points particuliers (réels, unipotents, etc.) conditionne alors l’existence de structures géométriques (hyperboliques ou CR-sphériques dans notre cas).
      Il ne sera pas question de dérouler les aspects les plus théoriques ni d’entrer dans les détails les plus techniques des implantations utilisées : il s’agira plutôt de décrire quelques objets calculables et de montrer comment les composer agréablement pour répondre de manière exacte à quelques questions (existence de solutions réelles, irréductibilité de variétés, paramétrisation de solutions, etc.) permettant d’apporter une valeur ajoutée sur le problème posé.
      Le point particulier de cette application est qu’il est totalement illusoire de prétendre répondre à quelque question que ce soit en utilisant le calcul formel comme « boite noire ». Les ensembles à étudier sont en effet pour la plupart des ensembles constructibles et non des variétés algébriques, les systèmes font intervenir plusieurs dizaines de variables (48 pour les derniers résolus), plusieurs paramètres et sont de haut degrés (dépassant la dizaine) … le O(d^n) lié à la borne de Bézout nous ramène instantanément à la réalité.
      Si les contraintes de temps le permettent, nous montrerons comment ces travaux peuvent se ré-utiliser dans quelques domaines connexes.

      Lieu : bât. Fermat, Amphi I


    • Lundi 28 janvier 14:30-15:30 - Sébastien Duval - Université Catholique de Louvain

      Construction of MDS and almost-MDS matrices with a lightweight circuit

      Lieu : bât. Descartes, salle 301


    • Lundi 25 février 11:00-12:00 - Albrecht Petzoldt - UVSQ

      TBA

      Lieu : bât. Descartes, salle 301


    • Lundi 4 mars 11:00-12:00 - Andre Schrottenloher - Inria Paris

      TBA

      Lieu : bât. Descartes, salle 301


Ajouter un événement iCal

Archives des années précédentes du séminaire

Séminaire dédié à la cryptographie et à la sécurité informatique. Ce séminaire, ouvert à tous, a généralement lieu le mardi matin de 11h à 12h en salle 301 du bâtiment Descartes.

Pour intervenir dans celui-ci, en présentant vos recherches ou vos développements industriels, veuillez contacter Luca De Feo.
Pour être tenu au courant des séances, veuillez vous inscrire à la liste de diffusion en visitant cette page.

Comment venir ?

Procédure pour les invités en mission

Mots-clés

Cryptographie