Description
Les produits et puissances de codes linéaires sont une construction très basique sous-jacente à de nombreuses applications du codage en informatique théorique : algorithmes de multiplication et partage de secret arithmétique, cryptanalyse de systèmes à la McEliece, décodage algébrique, construction de réseaux euclidiens, codes quantiques, transfert inconscient... Un problème fondamental particulièrement difficile est la détermination des paramètres (dimension, distance) joints possibles d'un code et de son carré. On présentera ici essentiellement les seules bornes connues, avec un accent sur l'aspect asymptotique. La preuve de ces résultats mêle de façon intriquée combinatoire, algèbre multilinéaire, et géométrie algébrique.
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
-