Filter by content type
Select one or more filters. This choice will reload the page to display the filtered results.
689 results
-
-
Seminar
-
Cryptography
Utilisation des groupes de classes en cryptographie
Speaker : Olivier Orcière - Thales
Suite aux travaux de Bhargava sur la généralisation de la loi de Gauss sur le groupes de classes des formes quadratiques binaires, on présentera les quatre formalismes des formes quadratiques binaires utilisés et connus jusqu'à présent:<br/> - le formalisme algébrique de Gauss<br/> - le formalisme projectif de Dirichlet<br/> - le formalisme basé sur les idéaux de Schoof<br/> - le formalisme[…] -
-
-
Seminar
-
Cryptography
Représentations algorithmiques d'une courbe et de sa jacobienne
Speaker : Kamal Makdisi - American University of Beirut
Soit X une courbe algébrique lisse et projective sur un corps k. Je présente une façon de décrire X sans équations explicites, en utilisant les valeurs en plusieurs points de sections globales de fibrés en droites sur X. Cette représentation de X conduit à des algorithmes rapides pour les diviseurs sur X et pour la jacobienne de X, ainsi qu'à des approches intéressantes pour les modèles explicites[…] -
-
-
Seminar
-
Cryptography
Jacobiennes modulaires non-hyperelliptiques de dimension 3
Speaker : Roger Oyono - University of Waterloo
Dans cet exposé je présenterai deux méthodes différentes pour la construction des équations des courbes non-hyperelliptiques de genre $3$ provenant des facteurs Q-simples A_f principalement polarisés de J(X_0(N)), où X_0(N) repésente la courbe modulaire associée à Gamma_0(N)$. La première méthode, qui ne s'applique qu'aux courbes modulaires, est basée sur le calcul du morphisme canonique des[…] -
-
-
Seminar
-
Cryptography
Comptage de points : application des méthodes cristallines
Speaker : Gweltaz Chatel - IRMAR
On présente une nouvelle méthode pour le calcul du nombre de points de courbes algébriques sur des corps finis. En utilisant la stabilité de la cohomologie rigide à support propre par descente finie étale, on montre que l'on peut ramener le calcul des groupes de cohomologie d'une telle courbe à celui des groupes de cohomologie d'un isocristal sur un ouvert de la droite affine, et on construit un[…] -
-
-
Seminar
-
Cryptography
Efficient Multi-Party Computation with Dispute Control
Speaker : Zuzana Beerliova - ETH Zurich
Secure multi-party computation (MPC) allows a set of $n$ players to securely compute an agreed function of their inputs, even when up to $t$ of the players are under complete adversarial control. We consider secure MPC in the information-theoretic model with broadcast channels (PKI setup) and present an efficient protocol with optimal resilience ($t< n/2$), using a new technique technique called[…] -
-
-
Seminar
-
Cryptography
Signatures à vérification contrôlée
Speaker : Fabien Laguillaumie - LIX
Les signatures indéniables ont été introduites par Chaum et van Antwerpen en 1989 pour permettre au signataire de contrôler la vérification d'un signature qu'il a émise. En effet, la propriété de vérification universelle satisfaite par les signatures numériques classiques n'est pas souhaitable dans certaines applications électroniques (licence de logiciel, vote électronique,...). Ainsi, pour[…] -