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

  • Cryptanalysis of full BEANIE

    • 05 juin 2026 (13:45 - 14:45)

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

    Orateur : Xavier Bonnetain - Inria

    BEANIE is a tweakable block cipher recently published at ToSC aiming for memory encryption of microcontroller units. In line with this goal, it handles small plaintexts of only 32 bits and has a low latency. In this paper, we propose the first third-party analysis of the two variants of BEANIE. By carefully leveraging structural properties of the cipher and taking advantage of its distinctive[…]

    • Cryptography

    • Symmetrical primitive

Voir les exposés passés
Haut de page