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
Résumé : Travail en commun avec E. Dotto, Y. Harpaz, F. Hebestreit, M. Land, K. Moi, D. Nardin, T. Nikolaus et W. Steimle. Au début des années 70, dans le cadre de la classification des objets fondamentaux que sont les
Les processus tempête constituent des modèles prototypes pour l'étude des extrêmes spatiaux. De manière classique, ils sont simulés en un nombre fini de points, déterminés a priori, à l'intérieur un domaine choisi. Nous proposons ici un nouvel algorithme permettant de les simuler sur
