Filter by content type
Select one or more filters. This choice will reload the page to display the filtered results.
633 results
-
-
Seminar
-
Cryptography
Accélérateur matériel compact pour le calcul du couplage de Tate sur des courbes supersingulières de 128 bits de sécurité
Speaker : Nicolas Estibals - LORIA
Les couplages interviennent dans des protocoles cryptographiques de plus en plus nombreux tel que le chiffrement basé sur l'identité ou la signature courte. Dès lors, fournir une implémentation efficace des couplages cryptographique pour un grand nombre de supports, et plus spécialement les systèmes embarqués, devient un chalenge intéressant. Nous présentons une nouvel méthode pour concevoir[…] -
-
-
Seminar
-
Cryptography
SAT solvers in the context of Cryptography
Speaker : Mate Soos - LIP6
The use of SAT solvers is enjoying a boom in the area of cryptanalysis. In this presentation we explore the reasons for the efficiency of SAT solvers in this field. The presentation will describe how SAT solvers' variable branching heuristics, conflict analysis routines and lazy data structures work in unison to create a complex algorithm that can tackle difficult problems with relative ease[…] -
-
-
Seminar
-
Cryptography
Un algorithme à la Pollard pour le problème du sac à dos
Speaker : Gaetan Bisson - LORIA
Soit S une suite d'éléments d'un groupe fini G noté multiplicativement ; le problème du sac à dos consiste à trouver une sous-suite de S dont le produit vaut un élément donné z de G. Des méthodes très efficaces pour le résoudre existent quand G=Z/nZ mais elles nous abandonnent lorsque l'on change de groupe : on peut en effet prouver qu'aucun algorithme générique (c'est-à[…] -
-
-
Seminar
-
Cryptography
Des algorithmes pour la cryptographie asymétrique
Speaker : Tony Ezome - Université Toulouse I
En cryptographie, on souhaite protéger des messages. Et pour ce faire certains cryptosystèmes en cryptographie asymétrique utilisent les nombres premiers. Il est donc très utile de pouvoir déterminer la primalité de grands entiers. Le test AKS est un algorithme déterministe de preuve de primalité qui a été publié en Août 2002 par Agrawal, Kayal et Saxena ("Primes is in P"). L'[…] -
-
-
Seminar
-
Cryptography
Computing Igusa class polynomials
Speaker : Marco Streng - Leiden University
Igusa class polynomials are the genus-2 analogue of the classical Hilbert class polynomials. We explain these notions and discuss the differences between the classical (elliptic) case and the genus-2 case, mostly from a computational perspective. One of the main applications of Igusa class polynomials is the construction of genus-2 curves that are suitable for cryptography. -
-
-
Seminar
-
Cryptography
Couplages et volcans d'isogenies.
Speaker : Sorina Ionica - Université de Versailles Saint-Quentin-en-Yvelines
Les volcans d'isogénies sont des graphes dont les noeuds sont des courbes elliptiques et les arêtes sont des l-isogénies entre les courbes. En 1996, Kohel propose l'utilisation du parcours en profondeur de ces graphes dans un algorithme qui calcule l'anneau d'endomorphismes d'une courbe elliptique. Afin d'améliorer l'algorithme de comptage de points d'une[…] -