Description
Les propriétés d'équivalence permettent d'exprimer un nombre important de propriétés de sécurité (secret fort, intraçabilité, anonymat...), soit comme propriété de symétrie, soit en comparant un protocole réél à une situation idéale.<br/> En principe, ces propriétés doivent valoir y compris lorsqu'un nombre arbitraire d'agents différents utilisent le protocole. Nous démontrerons que dans de nombreux cas, la vérification pour un petit nombre d'agents suffit à donner des garanties pour un nombre arbitraire. Finalement, nous montrerons que le relâchement de chacune de nos hypothèses mène à des contre-exemples (aucune borne n'est calculable dans ces cas).
Prochains exposés
-
Séminaire C2 à INRIA Paris
Emmanuel Thomé et Pierrick Gaudry Rachelle Heim Boissier Épiphane Nouetowa Dung Bui Plus d'infos sur https://seminaire-c2.inria.fr/ -
Attacking the Supersingular Isogeny Problem: From the Delfs–Galbraith algorithm to oriented graphs
Orateur : Arthur Herlédan Le Merdy - COSIC, KU Leuven
The threat of quantum computers motivates the introduction of new hard problems for cryptography.One promising candidate is the Isogeny problem: given two elliptic curves, compute a “nice’’ map between them, called an isogeny.In this talk, we study classical attacks on this problem, specialised to supersingular elliptic curves, on which the security of current isogeny-based cryptography relies. In[…]-
Cryptography
-