Description
L'objectif de cet exposé est de présenter les problématiques cryptographiques qui ont motivé quelques unes des idées présentées dans les précédentes séances. Nous definissons donc les problèmes du logarithme discret et de Diffie-Hellman en nous attachant à mettre en évidence les conditions générales dans lesquelles ces problèmes sont de complexité suffisante pour pouvoir servir dans des primitives cryptographiques. Pour cela, nous passons en revue la plupart des attaques génériques et nous donnons une borne inférieure à la complexité asymptotique d'un algorithme générique. Nous décrivons ensuite des algorithmes plus efficaces mais valables seulement sur des instances particulières du problème du logarithme discret. Nous finissons en présentant une liste de questions non encore résolues et qui pourraient avoir une application directe en cryptographie via le problème du logarithme discret.
Next sessions
-
CryptoVerif: a computationally-sound security protocol verifier
Speaker : 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
-