Filter by content type
Select one or more filters. This choice will reload the page to display the filtered results.
688 results
-
-
Seminar
-
Cryptography
Beyond the black and grey box
Speaker : Yoni De Mulder - University of Leuven
In the white-box attack context, i.e., the setting where an implementation of a cryptographic algorithm is executed on an untrusted open platform, the adversary has full access to the implementation and its execution environment. As a result, the adversary is much more powerful than in a traditional black-box environment in which the adversary has only access to the inputs and outputs of a[…] -
-
-
Seminar
-
Cryptography
Relations entre les généralisations de la cryptanalyse différentielle et de la cryptanalyse linéaire.
Speaker : Céline Blondeau - Aalto
Durant les 25 dernières années, plusieurs généralisations de la cryptanalyse différentielle et de la cryptanalyse linéaire ont été proposées et ont permis d'attaquer un certain nombre de systèmes de chiffrement symétrique. Dans cet exposé, nous décrirons ces attaques et nous expliquerons les récents liens qui ont été trouvés entre différentes attaques de ces deux familles. En particulier nous[…] -
-
-
Seminar
-
Cryptography
Towards Automatic Verification of Security Proofs for
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
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
Couplages et applications industrielles
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
Calcul du groupe de classes et du groupe des unités de corps de
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[…] -