Filter by content type
Select one or more filters. This choice will reload the page to display the filtered results.
627 results
-
-
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[…] -
-
-
Seminar
-
Cryptography
Une nouvelle demonstration du théorème de Teichmüller
Speaker : Walter Freyn - Augsburg University
Le théorème de Teichmüller donne la classification des surfaces de Riemann d'un certain type topologique préscrit.<br/> Sur toute surface de Riemann, dont le recouvrement universel est H, les structures complexes poeuvent etre identifiés avec des structures hyperboliques. Dans l'expose sera décrit une nouvelle démonstration du théorème de Teichmüller très élémentaire : on montre, que toute surface[…] -
-
-
Seminar
-
Cryptography
Courbes hyperelliptiques et 17ème problème de Hilbert.
Speaker : Valéry Mahé - IRMAR
Soit P(x,y) un polynôme en deux variables à coefficients réels. On suppose que P(x,y) est à valeurs positives sur R^2. Hilbert a montré que le polynôme P(x,y) s'écrit comme somme de quatres carrés dans R(x,y). Une question naturelle est de savoir si P(x,y) est une somme de trois carrés dans R(x,y). Cette question n'a pas de réponse connue en général, mais elle peut être reformulée en termes de[…] -
-
-
Seminar
-
Cryptography
Quand les preuves de sécurité cryptographiques rencontrent la théorie des nombres
Speaker : Jacques Stern - ENS
Dans cet exposé, on présentera la méthodologie des preuves de sécurité dans la conception et l'analyse des algorithmes cryptographiques. On donnera ensuite deux exemples où ces preuves font appel à des résultats de théorie des nombres: le premier relatif au schéma de chiffrement OAEP, dont la preuve de sécurité complète a été achevée dans un travail avec E. Fujisaki, T. Okamoto et D.Pointcheval;[…] -
-
-
Seminar
-
Cryptography
Sur le rayon de recouvrement des codes de Reed-Muller binaires
Speaker : Sihem Mesnager - Université Paris VIII équipe MAATICAH
Soit X un alphabet fini (le plus souvent un corps, et en pratique le corps à deux éléments). Le rayon de recouvrement d'un code sur X (un sous-ensemble de X^n muni de la métrique de Hamming) est le plus petit entier r tel que la réunion de toutes les boules de rayon r centrées en les éléments de C recouvre X^n tout entier. En d'autres termes, le rayon de recouvrement mesure la distance maximale[…] -
-
-
Seminar
-
Cryptography
Hauteur des résultants toriques
Speaker : Martin Sombra - Université de Lyon I
Le résultant torique (ou creux) est un outil qui s'applique à la résolution des systèmes d'équations polynomiales. Ce fait a déclenché l'intérêt sur son calcul effectif; en même temps il est aussi étudié à cause de sa connexion avec les variétés toriques et les fonctions hypergéométriques.<br/> Dans cet exposé on présentera une borne pour la hauteur du résultant torique, définie comme le[…] -