Sommaire

  • Cet exposé a été présenté le 11 décembre 2015.

Description

  • Orateur

    Nicolas Mascot - Université de Bordeaux 1

Nous verrons comment certifier algorithmiquement des calculs de représentations galoisiennes associés à des formes modulaires, en nous appuyant notamment sur le théorème de Khare-Wintenberger (ex conjecture de modularité de Serre) et des calculs de cohomologie des groupes afin de déterminer le groupe de Galois de certains polynômes.

Prochains exposés

  • MIKE: An efficient and compact NIKE Based on a Commutative Monoidal Action 

    • 03 juillet 2026 (13:45 - 14:45)

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    Orateur : 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

  • TBA

    • 25 septembre 2026 (13:45 - 14:45)

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    Orateur : Anmoal Porwal - Technical University of Munich

    • Cryptography

    • Asymmetric primitive

Voir les exposés passés
Haut de page