Description
Les signatures indéniables ont été introduites par Chaum et van Antwerpen en 1989 pour permettre au signataire de contrôler la vérification d'un signature qu'il a émise. En effet, la propriété de vérification universelle satisfaite par les signatures numériques classiques n'est pas souhaitable dans certaines applications électroniques (licence de logiciel, vote électronique,...). Ainsi, pour vérifier la validité d'une signature, il est nécessaire d'interagir avec le signataire, à travers des protocoles de confirmation ou de démenti. Il est alors fondamental qu'un vérificateur participant à un tel protocole n'obtienne pas assez d'information pour pouvoir transmettre sa conviction sur la validité de la signature vérifiée. Dans cet exposé, nous aborderons la sécurité de ces signatures spéciales et proposerons une construction efficace de signatures indéniables basées sur des applications bilinéaires, ainsi qu'une généralisation de ces signatures qui permet à un utilisateur particulier d'engager avec un vérificateur les protocoles de confirmation et de démenti.<br/> Travail en collaboration avec D. Vergnaud et P. Paillier.
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
-