Description
Nous montrons que, contrairement à une croyance commune, la cryptographie à clé publique peut être implémentée sur des étiquettes radio-fréquence ("RFID tags"). Afin d'établir cette faisabilité, nous avons d'abord spécifié une variante adéquate de GPS, protocole d'authentification développé avec l'Ecole normale supérieure. Nous l'avons ensuite implémentée sur un circuit FPGA complet avec ASK, premier fabricant mondial de tickets sans contact. L'ensemble tient sur moins de 6000 portes logiques (dont 2700 pour la seule cryptologie) et permet de réaliser une authentification en moins de 200 millisecondes (temps de communication et de vérification compris). L'exposé sera suivi d'une démonstration. Cette réalisation est redevable à beaucoup de monde, et plus particulièrement à David Lefranc, Guillaume Poupard et Jacques Stern pour la conception et la sécurité du protocole, Nicolas Pangaud et Yoann Thomas pour l'implémentation sur circuit.
Prochains exposés
-
CryptoVerif: a computationally-sound security protocol verifier
Orateur : Bruno Blanchet - Inria
CryptoVerif is a security protocol verifier sound in the computational model of cryptography. It produces proofs by sequences of games, like those done manually by cryptographers. It has an automatic proof strategy and can also be guided by the user. It provides a generic method for specifying security assumptions on many cryptographic primitives, and can prove secrecy, authentication, and[…]-
Cryptography
-