Compréhension des mécanismes en jeu dans le calcul exact pou rune programmation efficace dans les systèmes de calcul formel. Structures de données et fonctionnalités. Algorithmes (efficacité et comparaison). Arithmétique des entiers et polynômes. Rédaction de rapport
Expérience du responsable dans le domaine de l’UE
Membre de l'équipe de Calcul Formel du LIP6 et du projet INRIA SALSA (Solvers for ALgebraic Systems and Applications).
Réalisations du responsable dans le domaine de l’UE
Acronyme : cfc
Spécialité : STL
3 ECTS
Niveau : 500
Semestre : S3
Titre : Calcul formel et cryptologie
Responsable : Jean-charles FAUGÈRE
Répartition hebdomadaire ou semestrielle
(30h/7 semaines)
Contenu
Le but du cours est de présenter les techniques de protection de l’information numérique fondée sur la théorie algébrique des codes correcteurs d’erreurs et les outils de Calcul Formel permettant de résoudre ou manipuler les équations algébriques dans les corps finis. On montre aussi dans le cours comment ces techniques algébriques et de codage fournissent des outils puissants et généraux de cryptanalyse.
