Claudia Moreno soutient sa thèse intitulée "Contrôle des systèmes d'équations aux dérivées partielles de type dispersif", co-dirigée par Emmanuelle Crépeau, le 31 aout 2020. La soutenance aura lieu en visioconférence : lien invité.
Bastien Drevon soutient sa thèse intitulée "Décomposition en blocs de la catégorie des représentations l-modulaires lisses et de longueur finie de GLm(D).", dirigée par Vincent Sécherre, le 30 septembre 2020. Lien pour suivre la soutenance en visioconférence.
Mixed Integer Linear Programming (MILP) solvers are regularly used by designers for providing security arguments and by cryptanalysts for searching for new distinguishers. For both applications, bitwise models are more refined and permit to analyze properties of primitives more accurately
On considère l'équation de KdV-BBM non linéaire sur le tore. On montre l'existence globale de la solution, ainsi que sa convergence en temps vers une fonction analytique. Cette propriété d'analyticité permet d'appliquer des résultats de prolongement unique pour montrer que
Résumé : Pour toute congruence de treillis de l'ordre faible sur les permutations, N. Reading a montré que coller ensemble les cônes de l'éventail de tresses qui appartiennent à la même classe d'équivalence définit un éventail complet, appelé éventail quotient,
Keccak est une fonction de hachage conçue par Guido Bertoni, Joan Daemen, Michaël Peeters et Gilles Van Assche dans le cadre de la compétition du NIST pour la standardisation d'un nouvel algorithme de hachage cryptographique. En 2012, Keccak remporte cette
Résumé : Le g-vecteur d'une représentation d'une algèbre artinienne est une information sur la présentation projective minimale de cette représentation. Ces g-vecteurs forment un éventail qui encode une foule d'informations, par exemple sur les conditions de stabilité pour l'algèbre et la
Dans la théorie des polynômes orthogonaux, les règles de sommation sont des relations remarquables entre d'une part une entropie mettant en jeu une mesure de référence et d'autre part une fonctionnelle des coefficients de récurrence. Je donnerai une courte introduction historique depuis le théorème
Résumé : on s'attend à ce que la cohomologie mod p des espaces localement symétriques pour des groupes unitaires compacts à l'infini (et déployé en p) réalise la correspondance de Langlands locale mod p pour GLn(Qp). En particulier, on s'attend
Finite fields have a central role in cryptography, since many protocols use them as their foundation. Therefore, it is crucial to have efficient arithmetic operations, e.g. multiplication and addition, over finite fields. Multiplication is usually quite expensive, hence there has
