Description
On présentera les techniques algorithmiques générales mises en oeuvre pour l'étude algorithmique des extensions Galoisiennes du corps des rationnels.<br/> Les problèmes étudiés concernent le calcul des automorphismes galoisiens, le calcul du groupe abstrait sous-jacent, le calcul des sous-corps par correspondance de Galois et le calcul de la factorisation intermediaire du polynôme définissant le corps de nombre sur un sous-corps.<br/> On montrera ensuite comment utiliser l'implantation de ces algorithmes dans le système de calcul formel PARI/GP pour des calculs pratiques de théorie de Galois.
Prochains exposés
-
Endomorphisms via Splittings
Orateur : Min-Yi Shen - No Affiliation
One of the fundamental hardness assumptions underlying isogeny-based cryptography is the problem of finding a non-trivial endomorphism of a given supersingular elliptic curve. In this talk, we show that the problem is related to the problem of finding a splitting of a principally polarised superspecial abelian surface. In particular, we provide formal security reductions and a proof-of-concept[…]-
Cryptography
-