Supervision : Jean-Claude BAJARD

Co-supervision : ABBAS-TURKI Lokmane

Arithmétiques Randomisées pour la cryptographie

Modular computations involved in public key cryptography applications most often use a standardized prime modulo, the choice of which is not always free in practice. The improvement of modular operations is fundamental for the efficiency and safety of these primitives. This thesis proposes to provide an efficient modular arithmetic for the largest possible number of primes, while protecting it against certain types of attacks. For this purpose, we are interested in the PMNS system used for modular arithmetic, and propose methods to obtain many PMNS for a given prime, with an efficient arithmetic on the representations. We also consider the randomization of modular computations via algorithms of type Montgomery and Babaï by exploiting the intrinsic redundancy of PMNS. Induced changes of data representation during the calculation prevent an attacker from making useful assumptions about these representations. We then present a hybrid system, HyPoRes, with an algorithm that improves modular reductions for any prime modulo. The numbers are represented in a PMNS with coefficients in RNS. The modular reduction is faster than in conventional RNS for the primes standardized for ECC. In parallel, we are interested in a type of representation used to compute real solutions of fuzzy systems. We revisit the global approach of resolution using classical algebraic techniques and strengthen it. These results include a real system called the real transform that simplifies computations, and the management of the signs of the solutions.

2017-2024 Publications

• 2024
  • J.‑C. Bajard, J. Marrez, Th. Plantard, P. Véron : “On Polynomial Modular Number Systems over $ \mathbb{Z}/{p}\mathbb{Z} $”, Advances in Mathematics of Communications, vol. 18 (3), pp. 674-695, (AIMS) (2024)
• 2020
  • J.‑C. Bajard, J. Marrez, Th. Plantard, P. Véron : “On Polynomial Modular Number Systems over Z/pZ”, (2020)
  • Ph. Aubry, J. Marrez, A. Valibouze : “Computing real solutions of fuzzy polynomial systems”, Fuzzy Sets and Systems, vol. 399, pp. 55-76, (Elsevier) (2020)
• 2019
  • J. Marrez : “Arithmétiques Randomisées pour la cryptographie”, thesis, phd defence 12/06/2019, supervision Bajard, Jean-Claude, co-supervision : Abbas-turki, Lokmane (2019)
  • P. Martins, J. Marrez, J.‑C. Bajard, L. Sousa : “HyPoRes: An Hybrid Representation System for ECC”, 2019 IEEE 26^th Symposium on Computer Arithmetic (ARITH), Kyoto, Japan, pp. 207-214, (IEEE) (2019)
  • L.‑S. Didier, F.‑Y. Dosso, N. El Mrabet, J. Marrez, P. Véron : “Randomization of Arithmetic over Polynomial Modular Number System”, 26^th IEEE International Symposium on Computer Arithmetic, vol. 1, Proceedings of the 2019 IEEE 26^th Symposium on Computer Arithmetic, Kyoto, Japan, pp. 199-206, (IEEE Computer Society) (2019)
  • Ph. Aubry, J. Marrez, A. Valibouze : “The Real Transform: Computing Positive Solutions of Fuzzy Polynomial Systems”, 11^th International Conference on Fuzzy Computation Theory and Applications, vol. 1: FCTA, Proceedings of the 11^th International Joint Conference on Computational Intelligence, Vienna, Austria, pp. 351-359, (SciTePress - Science and Technology Publications) (2019)
• 2018
  • Ph. Aubry, J. Marrez, A. Valibouze : “Résolution réelle de systèmes polynomiaux flous”, (2018)
  • J. Marrez, Ph. Aubry, A. Valibouze : “Étude et implantation d’une méthode algébrique pour résoudre des systèmes à coefficients flous”, Journées Nationales de Calcul Formel 2018, Luminy, France (2018)
• 2017
  • Ph. Aubry, J. Marrez, A. Valibouze : “Computing real solutions of polynomial fuzzy systems”, (2017)
  • J. Marrez : “Bibliothèque Fuzzy en SageMath, Documentation”, (2017)