599 results

  • On homomorpic public-key cryptosystems over groups and rings

    • November 14, 2003

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    Speaker : Ilia Ponomarenko - St. Petersburg

    We describe new public-key cryptosystems based on secret group and ring homomorphisms. For the group case, we use a secret embedding of a free group of rank 2 to the 2-dimensional modular group. For the ring case, we use a secret homomorphism induced by a secret group homomorphism of the corresponding multiplicative groups.
  • Complexité du calcul de bases de Gröbner pour des systèmes semi-réguliers dans le corps fini GF(2)

    • November 07, 2003

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    Speaker : Magali Bardet - Université Pierre et Marie Curie

    Pour de nombreuses applications dans le domaine de la cryptographie (par exemple pour des systèmes de chiffrement où la clef publique est un système polynômial comme HFE, ou des systèmes de registres filtrés), nous sommes amenés à résoudre des systèmes à coefficients dans le corps fini GF(2), pour lesquels les seules solutions intéressantes sont celles dans GF(2). On a donc à résoudre un système[…]
  • Divisibilité des nombres de classes

    • September 26, 2003

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    Speaker : Yuri Bilu - Université Bordeaux I

    Soient m,n>1 des nombres entiers. Alors pour tout $X$ suffisamment grand, il y a >>X^\mu corps de nombres K de degré n avec m|h(K). Ici \mu = \frac1{2m(n-1)}. Ceci généralise le résultat de R. Murty pour des corps quadratiques (le cas n=2). Un travail commun avec F. Luca.
  • Courbes elliptiques et attaques par canaux cachés

    • September 19, 2003

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    Speaker : Marc Joye - Gem+

    Provable security becomes more and more popular in the cryptographic community. As exemplified by the NESSIE project, it is now common to see it as an attribute of a cryptosystem. Provable security is at the protocol level; a harder task may be to evaluate the security of a cryptosystem at the implementation level. Rather than considering a cryptosystem as a black-box, we may assume that some[…]
  • Constructive Galois Theory

    • September 12, 2003

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    Speaker : Juergen Klueners - Universität Kassel

    In constructive Galois theory, there are two main questions: the direct problem and the inverse problem. For the inverse problem the question is whether it is possible to find a polynomial such that the Galois group of that polynomial is a given finite group. In this talk, we will focus on the direct problem. Given a polynomial f we explain how to compute the Galois group of this polynomial. The[…]
  • Fonctions booléennes et fonctions booléennes vectorielles pour le chiffrement symétrique

    • June 20, 2003

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    Speaker : Claude Carlet - Université de Caen

    Les fonctions booléennes sont, depuis longtemps, utilisées comme fonctions de combinaison et de filtrage dans les schémas de chiffrement à flots. Des progrès importants (qu'on rappellera) on été obtenus ces dernières années, sur les limites dans lesquelles se situent nécessairement les paramètres cryptographiques de ces fonctions (degré, ordre de résilience, nonlinéarité). Il reste un travail[…]