Description
Le travail présenté s'inscrit dans le cadre de l'analyse automatique au niveau symbolique de protocoles cryptographiques. De nombreuses procédures de décisions ont été présentées dans différents cadre ces dernières années. Un point commun de ces procédures est qu'à chaque fois, un adversaire est spécifié par des règles de déductions, et que seules certaines opérations changent. Par exemple, l'étude de l'opération de ou exclusif est menée en considérant les opérations de chiffrement symétrique et asymétrique, de concaténation, etc. Dans un travail commun avec M. Rusinowitch, nous avons proposé une méthode de combinaison permettant de travailler indépendamment sur des opérations indépendantes. La principale application est de simplifier l'étude d'extensions à la théorie "standard" de l'intrus. Je montrerai aussi en quoi cette méthode permet de parler de problèmes d'accessibilité en général.
Prochains exposés
-
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
-