Filter by content type
Select one or more filters. This choice will reload the page to display the filtered results.
633 results
-
-
Seminar
-
Cryptography
Intégration numérique prouvée pour la théorie des nombres
Speaker : Pascal Molin - Université Bordeaux I
La théorie des nombres rend nécessaire le calcul de certaines intégrales à des précisions permettant un travail arithmétique. On présentera une méthode à la fois simple, rapide et prouvée pour y parvenir. Il existe depuis une vingtaine d'années un paradigme d'intégration numérique, dit des fonctions doublement exponentielles, qui dans la pratique converge très rapidement pour des[…] -
-
-
Seminar
-
Cryptography
Privacy, incentives, and truthfulness
Speaker : David Xiao - LRI
Imagine the government is taking a census, and you as an individual are worried that by participating, private information about you (such as your address, age, ethnicity, etc.) may eventually be revealed when the government publishes the census data. How can the government assure you that by using an appropriate release mechanism that "sanitizes" census data, no individual's[…] -
-
-
Seminar
-
Cryptography
Modes opératoires pour les fonctions de hachage itératives
Speaker : Anne Canteaut - INRIA
Dans une fonction de hachage itérative, le choix du mode opératoire est essentiel car il influence à la fois sa sécurité et ses performances. La notion d'indifférentiabilité, introduite par Maurer, Renner et Holenstein en 2004, est particulièrement adaptée au cas des fonctions de hachage. Elle permet de déterminer le nombre de requêtes à la fonction de compression nécessaires pour[…] -
-
-
Seminar
-
Cryptography
Attaque DPA contre l'algorithme de Miller
Speaker : Nadia El-Mrabet - Université de Montpellier
Les couplages ont permis la simplification de protocoles existants et la création de protocoles originaux, par exemple la cryptographie basée sur l'identité. Durant un protocole basé sur l'identité, l'utilisateur calcule un couplage entre une entrée secrète et une entrée publique. Nous pouvons alors appliquer des attaques à canaux cachés pour tenter de retrouver ce secret. Nous nous[…] -
-
-
Seminar
-
Cryptography
Calcul d'indices sur courbes elliptiques.
Speaker : Vanessa Vitse - Université de Versailles Saint-Quentin-en-Yvelines
En 2008 et 2009, Gaudry et Diem ont proposé une méthode de calcul d'indices pour la résolution du DLP sur des courbes définies sur des corps finis non premiers. On présentera dans cet exposé une variante de cette méthode permettant d'abaisser la complexité asymptotique du DLP sur $E(F_q^n)$ lorsque $\log q \leq c n3$, ainsi que l'amélioration importante apportée par l'[…] -
-
-
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[…] -