Filter by content type
Select one or more filters. This choice will reload the page to display the filtered results.
681 results
-
-
Seminar
-
Cryptography
Analyse automatique de protocoles de sécurité
Speaker : Michael Rusinowitch - LORIA
Nous présentons une méthode pour automatiser l'analyse des protocoles cryptographiques à partir de leurs descriptions sous forme de règles d'envoi de messages. Le problème de la détection d'attaque dans un environnement hostile se ramène à la résolution de contraintes sur un espace de messages. La résolution de ces contraintes implantée dans le logiciel issu du projet européen AVISPA est[…] -
-
-
Seminar
-
Cryptography
La sécurité des schémas de Feistel aléatoires
Speaker : Jacques Patarin - Université de Versaille
Les schémas de Feistel fournissent une méthode standard pour construire des permutations pseudo-aléatoires, ou encore pour construire des algorithmes de chiffrement par blocs. Depuis le célèbre résultat de Luby et Rackoff sur les schémas de Feistel aléatoires à 3 et 4 tours (1989) les preuves de sécurité et les attaques sur ces schémas ont été améliorées à plusieurs reprise.<br/> Dans cet exposé[…] -
-
-
Seminar
-
Cryptography
Conditional Reactive Simulatability (joint work with Michael
Speaker : Dennis Hofheinz - CWI Amsterdam
Simulatability has established itself as a salient notion for proving the security of multi-party protocols since it entails strong security and compositionality guarantees, which are achieved by universally quantifying over all environmental behaviors of the analyzed protocol. As a consequence, however, protocols that are secure except for certain environmental behaviors are not simulatable, even[…] -
-
-
Seminar
-
Cryptography
Generic Homomorphic Undeniable Signatures
Speaker : Serge Vaudenay - EPFL
We introduce a new computational problem related to the interpolation of group homomorphisms which generalizes many famous cryptographic problems including discrete logarithm, Diffie-Hellman, and RSA. As an application, we propose a generic undeniable signature scheme which generalizes the MOVA schemes. Our scheme is generic in the sense that we transform a private group homomorphism from public[…] -
-
-
Seminar
-
Cryptography
The first practical calculations: congruences for Ramanujan's tau function mod 13
Speaker : Johan Bosma - Leiden University
We will describe how we are implementing Edixhoven's method for computing polynomials for the mod l Galois representations associated to modular forms. The computations are done in MAGMA, using modular symbols and numerical analysis. Recently, we have computed such polynomials for the mod 13 representation associated to Delta, the discriminant modular form of weight 12. In that case, we work with[…] -
-
-
Seminar
-
Cryptography
Algebraic attacks and design of block ciphers, stream ciphers, and multivariate public key schemes
Speaker : Nicolas Courtois - Schlumberger
Following the famous 1949 paper of Shannon, breaking a "good" cipher should require: "as much work as solving a system of simultaneous equations in a large number of unknowns of a complex type". For most practical cryptosystems, the problem of recovering the key can indeed can be seen as solving a huge system of binary nonlinear equations. In general, solving such a problem is known to be NP-hard,[…] -