Filter by content type

Select one or more filters. This choice will reload the page to display the filtered results.

Remove all filters

627 results

    • Seminar

    • Cryptography

    Sélection polynomiale pour NFS

    • February 15, 2013

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

    Speaker : Paul Zimmermann - LORIA

    Le problème de la sélection polynomiale pour le crible algébrique consiste à trouver deux polynômes irréductibles f(x) et g(x) à coefficients entiers ayant une racine commune modulo le nombre N à factoriser. On décrira en détail l'algorithme proposé par Kleinjung en 2008, son implantation dans CADO-NFS, et on donnera des exemples de polynômes obtenus avec cet algorithme (RSA704, B200, RSA896).

    • Seminar

    • Cryptography

    Towards Automatic Verification of Security Proofs for

    • July 01, 2011

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

    Speaker : Marion Daubrignard - Verimag

    Providing security proofs instead of arguing lack of existing relevant attacks is a quite new approach when it comes to cryptography. In the last thirty years, a lot of work has been done to formalize security of systems and prove of the achievement of security criteria. It has resulted in the design of a great number of proofs under various hypotheses. Though a step in the right direction, these[…]

    • Seminar

    • Cryptography

    New LFSRs and FCSRs representations for stream ciphers hardware

    • April 19, 2013

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

    Speaker : Marine Minier - Université de Lyon

    In this talk, we will sum up our recent research results concerning the introduction of a new representation for FCSRs and for LFSRs. This matrix based representation allows to construct LFSRs and FCSRs with a more compact hardware representation and a quicker diffusion while preserving the usual and proven good properties (good periods, $\ell$-sequences, good statistical behaviors, etc.).[…]

    • Seminar

    • Cryptography

    Calcul du groupe de classes et du groupe des unités de corps de

    • September 13, 2013

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

    Speaker : Jean-François Biasse - Calgary University

    Depuis les travaux de Hafner-MacCurley et Buchmann, le calcul du groupe de classes et d'unités d'un corps de nombres est connu comme étant possible en temps sous-exponentiel sous GRH pour les classes de corps de degré fixé.<br/> Dans cet exposé, nous montrerons qu'il est possible d'étendre ces résultats aux corps de nombres de degré tendant vers l'infini. Nous envisagerons des applications à des[…]

    • Seminar

    • Cryptography

    Couplages et applications industrielles

    • November 23, 2012

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

    Speaker : Renaud Dubois - Thales

    Les couplages permettent de réaliser de nouveaux protocoles cryptographiques ou d'en améliorer les complexités : chiffrement broadcast, IBE... On trouve peu d'exemples de développements concrets de tels sytèmes. Nous exposons les contraintes industrielles qui se posent lors du développement de ces outils. Nous présentons les choix de développement et les performances atteintes par la librairie[…]

    • Seminar

    • Cryptography

    Key Recovery Attacks on 3-round Even-Mansour

    • November 22, 2013

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

    Speaker : Itai Dinur - ENS

    The Even-Mansour (EM) encryption scheme received a lot of attention in the last couple of years due to its exceptional simplicity and tight security proofs. The original $1$-round construction was naturally generalized into $r$-round structures with one key, two alternating keys, and completely independent keys.<br/> In this talk I will describe the first key recovery attack on the one-key 3-round[…]
Page top