Filtrer par type de contenu
Sélectionnez un ou plusieurs filtres. Ce choix permettra de recharger la page pour afficher les résultats filtrés.
656 résultats
-
-
Séminaire
-
Cryptographie
Le projet Lande : analyse de logiciel pour la sécurité
Orateur : Thomas Jensens - IRISA
Les activités du projet Lande portent sur l'analyse statique de logiciel avec la sécurité logicielle comme domaine d'application privilégié. Dans cet exposé, je vais esquisser les bases théoriques de l'analyse statique et donner des exemples d'application à l'analyse de protocoles cryptographiques et de codes mobiles. -
-
-
Séminaire
-
Cryptographie
Can RSA keys be instance-malleable?
Orateur : Pascal Paillier - Gemplus
We focus on two new number-theoretic problems of major importance for RSA and factoring-based cryptosystems. An RSA key generator Gen(1^k) = (n, e) is malleable when factoring n is easier when given access to a factoring oracle for other keys (n', e')!= (n, e) output by Gen. Gen is instance-malleable when it is easier to extract e-th roots mod n given an e'-th root extractor mod n' for (n', e') !=[…] -
-
-
-
Séminaire
-
Cryptographie
Arithmétique d'une large classe de fonctions L
Orateur : Sami Omar - Université de Tunis
Dans cet exposé, on s'intéresse à une classe générale de fonctions L ayant des propriétés similaires à celles des fonctions zêta classiques. Dans ce cadre, nous donnons une formulation du critère de positivité de Weil pour l'hypothèse de Riemann en terme de positivité des coefficients de Li généralisés faciles à calculer. -
-
-
Séminaire
-
Cryptographie
Biometric-based Authentication Schemes using Private Information Retrieval
Orateur : Julien Bringer - Sagem
This work deals with the security problems in authentication schemes employing volatile biometric features, where the authentication is indeed a comparison between a fresh feature and that enrolled during the initialization phase. We propose a security model for biometric-based authentication schemes by assuming that the biometric features to be public. Extra attentions have been paid to the[…] -
-
-
Séminaire
-
Cryptographie
Utilisation des groupes de classes en cryptographie
Orateur : Olivier Orcière - Thales
Suite aux travaux de Bhargava sur la généralisation de la loi de Gauss sur le groupes de classes des formes quadratiques binaires, on présentera les quatre formalismes des formes quadratiques binaires utilisés et connus jusqu'à présent:<br/> - le formalisme algébrique de Gauss<br/> - le formalisme projectif de Dirichlet<br/> - le formalisme basé sur les idéaux de Schoof<br/> - le formalisme[…] -