Filter by content type
Select one or more filters. This choice will reload the page to display the filtered results.
717 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
L1 a new quasi-linear LLL algorithm
Speaker : Andy Novocin - ENS Lyon
The LLL lattice reduction algorithm of 1982 has proven to be useful in a wide variety of fields. It can be used to approximately solve computationally difficult lattice-based problems, such as the shortest vector problem, in polynomial time. We present a new algorithm for lattice reduction which is the first algorithm to have a complexity bound which is both polynomial and quasi-linear bound in[…] -
-
-
Seminar
-
Cryptography
Sélection polynomiale pour NFS
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
Cracking Passwords with Time-memory Trade-offs
Speaker : Gildas Avoine - IRISA
Cryptanalytic time-memory trade-offs were introduced by Hellman in 1980 in order to perform key-recovery attacks on cryptosystems. A major advance was presented at Crypto 2003 by Oechslin, with the rainbow tables that outperform Hellman's seminal work. After introducing the cryptanalytic time-memory trade-offs, we will present in this talk a new variant of tables, known as fingerprint tables,[…] -
-
-
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.).[…] -