Je recherche

670 résultats

• • Séminaire

  • Cryptographie

  An explicit description of (log) de Rham cohomology over the Witt vector

  • 19 octobre 2012

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

  Orateur : Moritz Minzlaff - Technische Universität Berlin

  Motivated by applications to computing zeta functions, we will discuss the log de Rham and de Rham cohomologies of smooth schemes (together with 'nice' divisors) over the Witt vectors. For the former, we will give an explicit description that eventually might lead to improvements to point counting algorithms. Regarding the latter, we will measure "how far" the de Rham cohomology of a curve is from[…]

• • Séminaire

  • Cryptographie

  Usage of Modular Techniques for Efficient Computation of Ideal

  • 07 décembre 2012

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

  Orateur : Kazuhiro Yokoyama - Rikkyo University

  Modular techniques are widely applied to various algebraic computations. (See [1] for basic modular techniques applied to polynomial computations.) In this talk, we discuss how modular techniques are efficiently applied to computation of various ideal operations such as Gröbner base computation and ideal decompositions. Here, by *modular techniques* we mean techniques using certain projections for[…]

• • Séminaire

  • Cryptographie

  Attaques par rencontre au milieu sur l'AES.

  • 04 octobre 2013

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

  Orateur : Patrick Derbez - ENS

  Dans cette présentation je décrirai deux types d'attaques par rencontre au milieu sur l'AES et ses dérivés. Le premier type est en réalité une méthode générique pour résoudre des systèmes d'équations reposant sur deux techniques algorithmiques: "la rencontre par le milieu" et "diviser pour régner". Cette méthode a été pensée pour attaquer l'AES lorsque le nombre de paires clair/chiffré disponibles[…]

• • Séminaire

  • Cryptographie

  Cryptanalysis of FCSR-based stream ciphers

  • 20 mai 2011

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

  Orateur : Martin Hell - Lunds University

  Feedback with carry shift registers (FCSRs) can be seen as an alternative to LFSRs in stream cipher designs. Since the state is nonlinearly updated, the stream cipher +can be made more resistant to certain attacks than if LFSRs are used. In this talk I will give an overview of FCSR-based stream ciphers and discuss potential +weaknesses. One particular weakness has been exploited to mount efficient[…]

• • Séminaire

  • Cryptographie

  Un test de pseudo-primalité efficace

  • 08 mars 2013

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

  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 pourquoi on dit aussi que c[…]

• • Séminaire

  • Cryptographie

  Identification biométrique avec des données chiffrées

  • 06 décembre 2013

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

  Orateur : Hervé Chabanne - Morpho

  Dans la première partie de cet exposé, nous introduisons des notions sur la reconnaissance biométrique et nous rappelons le principe de l'authentification basée sur des Secure Sketch. Dans la seconde partie, nous présentons nos travaux sur l'identification biométrique avec des données chiffrées puis nous donnons quelques pistes alternatives. Travail en collaboration avec Julien Bringer.