Description
L’usage des courbes elliptiques en cryptographie s’est largement répandu pour assurer la sécurité des communications ou de transactions financières. Cela est dû notamment au fait que la sécurité repose sur la difficulté du problème du logarithme discret qui permet d’utiliser les courbes elliptiques avec des paramètres qui assurent une efficacité.<br/> Dans cette thèse, nous abordons principalement l’aspect sécurité d’implémentations des courbes elliptiques. L’utilisation de données auxiliaires par le biais de fuites liées à l’exécution du code informatique peut remettre en cause la sécurité de protocoles. Nous analysons tout d’abord plusieurs formules et algorithmes couramment utilisés dans des implémentations pour montrer les difficultés que s’offrent à un développeur afin de réaliser une implémentation sécurisée. Nous montrons ensuite que certaines techniques de protection peuvent amener une vulnérabilité, dont l’une d’entre elles est nouvelle et a été signalée aux développeurs. Enfin, nous proposons également une nouvelle attaque par injection de faute sur un algorithme et nous montrons également que certaines méthodes de protection basées sur l’introduction d’une randomisation de la valeur secrète ne sont pas nécessairement immunisé contre ce type d’attaques.<br/> lien:
Next sessions
-
Encryption homomorphe sans bruit à l'aide de groupes
Speaker : Pierre Guillot - Ravel Technologies (dispo Université de Strasbourg, IRMA)
Je vais rappeler les travaux de Nuida et Ostrovski sur l'utilisation des groupes pour l'élaboration de schémas cryptographiques homomorphes. Je vais présenter nos travaux qui fournissent des encodages à la fois plus efficaces et plus généraux, et qui déterminent exactement quels groupes peuvent être utilisés. Puis je vais discuter GRAFHEN, un protocole qui utilise ces idées. Je dirai juste[…]-
Cryptography
-
-
MIKE: An efficient and compact NIKE Based on a Commutative Monoidal Action
Speaker : Jonathan Komada Eriksen - COSIC, KU Leuven
Robert recently described a powerful correspondence between certain (Hermitian) modules and (polarized) abelian varieties, which simultaneously generalizes both the class-group action underlying protocols such as CSIDH, and the Deuring correspondence, underlying protocols such as SQIsign. Using this correspondence, he also proposed how to construct a post-quantum NIKE, called MIKE, which, at a[…]-
Cryptography
-