599 résultats
-
Logarithmes discrets dans les corps finis. Application en caractéristique "moyenne".
Orateur : Antoine Joux - UVSQ
Cet exposé commencera par une introduction aux algorithmes génériques de calcul de logarithmes discrets. Ensuite, nous nous intéresserons aux algorithmes de calcul d'index dans le cas le plus simple : celui de la petite ou moyenne caractéristique. Après une présentation des algorithmes précédemment connus, nous montrerons comment une transformation simple de ces algorithmes permet un[…] -
New LFSRs and FCSRs representations for stream ciphers hardware
Orateur : Marine Minier - Université de Lyon
In this talk, we will sum up our recent research results concerning the introduction of a new representation for FCSRs and for LFSRs. This matrix based representation allows to construct LFSRs and FCSRs with a more compact hardware representation and a quicker diffusion while preserving the usual and proven good properties (good periods, $\ell$-sequences, good statistical behaviors, etc.).[…] -
L'inférence logique peut-elle aider à la cryptanalyse ?
Orateur : Gilles Dequen - Université de Picardie
Le problème SAT est un des piliers de l'informatique théorique et de la NP-Complétude. Sa résolution pratique a connu un réel essor ces dernières années. Les contributions en ce sens sont multiples et touchent un certain nombre de champs d'application. Les tentatives d'affaiblissements des primitives cryptographiques en font partie. Cet exposé rappellera les fondements du problème[…] -
Algorithmique détendue pour les nombres entiers p-adiques
Orateur : Grégoire Lecerf - CNRS
Les implantations actuelles des nombres p-adiques reposent souvent sur des techniques dites zélées qui demandent de connaître à l'avance la précision nécessaire pour les calculs. Cette approche est très efficace du point de vue de la complexité asymptotique et elle est largement utilisée, par exemple dans des algorithmes de remontée de type Newton-Hensel intervenant dans la factorisation des[…] -
Borne inférieure pour les signatures préservant la structure symétriques
Orateur : Mehdi Tibouchi - LORIA
Un schéma de signatures « préservant la structure » (SPS) est un schéma de signature numérique à clef publique dans lequel la clef publique, les messages et les signatures sont tous des n-uplets d'éléments de groupe bilinéaire, et la vérification de signature s'obtient en évaluant des produits de couplages. Cette primitive a de nombreuses applications à la construction de protocoles[…] -
Un test de pseudo-primalité efficace
Orateur : Tony Ezome - Université de Bordeaux
Etant donné un entier naturel n, il convient de se demander si n est un nombre premier ou composé. Il existe plusieurs méthodes pour étudier la primalité des entiers. Le test de Miller-Rabin est très efficace en pratique. Il s'agit en fait d'un test de composition en ce sens qu'il ne prouve pas que l'entier testé est premier, mais en apporte une forte conviction. C'est[…]