Explore les graphiques isogéniques de courbes elliptiques supersingulaires, montrant des temps de mélange optimaux pour des promenades aléatoires et des applications à la cryptographie.
Couvre les treillis, l'interprétation abstraite, l'analyse des points de fixation, la logique de Hoare et les ordres partiels avec des éléments extrêmes.
