Description
Nous étudions la notion de suites asymptotiquement exactes de corps de fonctions algébriques introduite par Tsfasman en 1991. Plus précisément, nous construisons explicitement des suites asymptotiquement exactes de corps de fonctions algébriques définis sur des corps finis quelconques, en particulier quand q n'est pas un carré. Ensuite, nous prouvons que ces suites constituent des familles infinies de corps de fonctions algébriques dont le nombre de classes $h$ dépasse strictement la borne de Lachaud - Martin-Deschamps. En particulier, nous construisons une tour asymptotiquement exacte avec densité maximale de corps de fonctions algébriques définis sur $\F_2$ et donnons aussi d'autres exemples.
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
-