Description
Les couplages interviennent dans des protocoles cryptographiques de plus en plus nombreux tel que le chiffrement basé sur l'identité ou la signature courte. Dès lors, fournir une implémentation efficace des couplages cryptographique pour un grand nombre de supports, et plus spécialement les systèmes embarqués, devient un chalenge intéressant. Nous présentons une nouvel méthode pour concevoir des accélérateurs matériels compacts pour le cacul du couplage de Tate sur des courbes supersingulières de petite caractéristique. Du fait de leur degré de plongement (embedding degree) limité, ces courbes ne sont généralement pas utilisées pour atteindre la sécurité standard de 128 bits. En effet, la taille du corps fini de définition d'une courbe à ce niveau de sécurité est très grande. Afin de palier cet effet, nous considérons des courbes supersingulières définies sur des corps finis de de degré d'extension modérément composé ($\F{p}{nm}$ avec $n$ «petit» et $m$ premier). Ces courbes deviennent alors vulnérables aux attaques basées sur la descente de Weil mais une analyse fine de celles-ci nous permet de montrer que leur impact reste limité et que nous pouvons maintenir la sécurité au-dessus de 128 bits.<br/> Nous appliquons alors cette méthode à une courbe supersingulière définie sur $\F{3}{5\cdot97}$ et décrivons ainsi une implémentation FPGA d'un accélérateur pour le calcul de couplage à 128 bits de sécurité. Sur FPGA de gamme moyenne (Xilinx Virtex-4 FPGA), cet accélérateur cacule le couplage en 2.2 ms sur une surface limitée à 4755 slices.
Prochains exposés
-
SoK: Security of the Ascon Modes
Orateur : Charlotte Lefevre - Radboud University
The Ascon authenticated encryption scheme and hash function of Dobraunig et al (Journal of Cryptology 2021) were recently selected as winner of the NIST lightweight cryptography competition. The mode underlying Ascon authenticated encryption (Ascon-AE) resembles ideas of SpongeWrap, but not quite, and various works have investigated the generic security of Ascon-AE, all covering different attack[…] -
Comprehensive Modelling of Power Noise via Gaussian Processes with Applications to True Random Number Generators
Orateur : Maciej Skorski - Laboratoire Hubert Curien
The talk examines power noise modelling through Gaussian Processes for secure True Random Number Generators. While revisiting one-sided fractional Brownian motion, we obtain novel contributions by quantifying posterior uncertainty in exact analytical form, establishing quasi-stationary properties, and developing rigorous time-frequency analysis. These results are applied to model oscillator[…]-
Cryptography
-
TRNG
-
-
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
-