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
-
Algorithms for post-quantum commutative group actions
Orateur : Marc Houben - Inria Bordeaux
At the historical foundation of isogeny-based cryptography lies a scheme known as CRS; a key exchange protocol based on class group actions on elliptic curves. Along with more efficient variants, such as CSIDH, this framework has emerged as a powerful building block for the construction of advanced post-quantum cryptographic primitives. Unfortunately, all protocols in this line of work are[…] -
Endomorphisms via Splittings
Orateur : Min-Yi Shen - No Affiliation
One of the fundamental hardness assumptions underlying isogeny-based cryptography is the problem of finding a non-trivial endomorphism of a given supersingular elliptic curve. In this talk, we show that the problem is related to the problem of finding a splitting of a principally polarised superspecial abelian surface. In particular, we provide formal security reductions and a proof-of-concept[…]-
Cryptography
-