Filter by content type
Select one or more filters. This choice will reload the page to display the filtered results.
757 results
-
-
Seminar
-
Cryptography
Des évolutions récentes dans la résolution du problème SAT
Speaker : Lakhdar Sais - CRIL Lens
Le problème NP-complet classique de la satisfiabilité d'une formule Booléenne mise sous forme normale conjonctive a connu un intérêt croissant non seulement dans la communauté d'informatique théorique, mais aussi dans des domaines d'applications divers ou une solution pratique à ce problème permet des avancées significatives. Depuis les premiers développements de la procédure de base proposée par[…] -
-
-
Seminar
-
Cryptography
Rebound Attack on the Full LANE Compression Function
Speaker : Maria Naya - INRIA Rocquencourt
In this work, we apply the rebound attack to the AES based SHA-3 candidate LANE. The hash function LANE uses a permutation based compression function, consisting of a linear message expansion and 6 parallel lanes. In the rebound attack on LANE, we apply several new techniques to construct a collision for the full compression function of LANE-256 and LANE-512. Using a relatively sparse truncated[…] -
-
-
Seminar
-
Cryptography
Forward-Secure Signatures in Untrusted Update Environments:
Speaker : Benoit Libert - UCL
Forward-secure signatures (FSS) prevent forgeries for past time periods when an attacker obtains full access to the signer's storage. To simplify the integration of these primitives into standard security architectures, Boyen, Shacham, Shen and Waters recently introduced the concept of forward-secure signatures with untrusted updates where private keys are additionally protected by a second factor[…] -
-
-
Seminar
-
Cryptography
Explicit Serre-Tate theory and applications
Speaker : Robert Carls - University of Ulm
This talk is about joint work with David Lubicz. By a classical result of Serre and Tate the deformation space of an ordinary abelian variety is given by a formal torus. In Serre-Tate coordinates the problem of canonical lifting is trivial. Unfortunately, in general it is difficult to compute the Serre-Tate parameters of a given abelian variety. Alternatively, one may use canonical coordinates[…] -
-
-
Seminar
-
Cryptography
Délégation de déchiffrement en cryptographie asymétrique
Speaker : Damien Vergnaud - ENS
In 1998, Blaze, Bleumer, and Strauss proposed a cryptographic primitive called proxy re-encryption, in which a proxy transforms - without seeing the corresponding plaintext - a ciphertext computed under Alice's public key into one that can be opened using Bob's secret key. Recently, an appropriate definition of chosen-ciphertext security and a construction fitting this model were put forth by[…] -
-
-
Seminar
-
Cryptography
Nouveaux résultats en signature basée sur des codes correcteurs d'erreurs
Speaker : Pierre-Louis Cayrel - Limoges
Je présenterai dans un premier temps la cryptographie basée sur les codes correcteurs d'erreurs (schéma de McEliece, Niederreiter) puis je détaillerai le schéma d'identification et de signature de Stern présenté à CRYPTO en 1993 et le schéma de signature de Courtois-Finiasz-Sendrier (ASIACRYPT 2001). Je présenterai ensuite 3 travaux récents sur ce sujet :<br/> - une construction sécurisée du[…] -