Filter by content type
Select one or more filters. This choice will reload the page to display the filtered results.
689 results
-
-
Seminar
-
Cryptography
Introduction au chiffrement de flot
Speaker : Mikhael Foursov - Université de Rennes I
Les chiffrements de flot (stream ciphers) codent les symboles individuels (généralement les chiffres binaires) un a un, en utilisant une transformation de chiffrement qui varie dans le temps. Les chiffrements de flux sont généralement plus rapides sur le matériel, et leurs architectures sont moins complexes. Ils sont plus appropries, et dans certains cas obligatoires (p.e. dans certaines[…] -
-
-
Seminar
-
Cryptography
Attaques différentielles et algorithmes de chiffrement par flot
Speaker : Frédéric Muller - DCSSI
Dans cet exposé, on s'intéressera à la cryptanalyse différentielle d'algorithmes à clé secrète. Ces techniques ont été introduites initialement dans le cas du chiffrement par bloc. On décrira dans quel contexte et comment on peut les appliquer également contre des algorithmes de chiffrement par flot. Le propos sera illustré par des exemples récents d'attaques (Helix, Turing, etc ...) -
-
-
Seminar
-
Cryptography
Algorithmes $p$-adiques de calcul de polynômes de classes de Hilbert
Speaker : Emmanuel Ribouet-Deyris - Galatasaray Universitesi
Il s'agit de construire un algorithme permettant de calculer les polynômes de classes de Hilbert d'anneaux d'entiers de corps quadratiques.<br/> De manière générale, les méthodes actuelles de calcul de ces polynômes reposent sur l'évaluation complexe de certaines formes modulaires. Ces méthodes revêtent une certaine efficacité. Elle sont cependant par nature desservies par les erreurs d[…] -
-
-
Seminar
-
Cryptography
Deformation theory and the computation of zeta functions
Speaker : Alan Lauder - Oxford University
The problem of computing the zeta function of a variety over a finite field has attracted considerable interest in recent years, motivated in part by an application in cryptography. (In less fancy language, the problem is just to compute the number of solutions to a system of polynomial equations over a finite field.) I will discuss a new algorithm for computing zeta functions which is based upon[…] -
-
-
Seminar
-
Cryptography
Sécurité informatique, de la vérification formelle de protocoles cryptographiques à la détection d'intrusions en temps réel
Speaker : Jean Goubeault-Larrecq - ENS Cachan
Le but de cet exposé est de présenter très grossièrement deux aspects de la recherche en sécurité menée au LSV (laboratoire spécification et vérification, ENS Cachan et CNRS UMR 8643) et dans le projet INRIA SECSI.<br/> Un premier aspect est la vérification automatique de protocoles cryptographiques. L'idée est au départ de vérifier qu'un protocole est sûr sous des hypothèses simplificatrices[…] -
-
-
Seminar
-
Cryptography
Courbes elliptiques et attaques par canaux cachés
Speaker : Marc Joye - Gem+
Provable security becomes more and more popular in the cryptographic community. As exemplified by the NESSIE project, it is now common to see it as an attribute of a cryptosystem. Provable security is at the protocol level; a harder task may be to evaluate the security of a cryptosystem at the implementation level. Rather than considering a cryptosystem as a black-box, we may assume that some[…] -