MQ Soft : A fast multivariate cryptography library
MQsoft is an efficient library in C for post-quantum multivariate-based cryptography. It includes HFE-based schemes such GeMSS, Gui and DualModeMS. Our library is modular and permits to perform fundamental arithmetic operations over finite fields: efficient constant-time arithmetic in GF(2^n), finding the roots of a univariate polynomial in GF(2^n)[X], evaluate efficiently multivariate quadratic systems in GF(2) (in constant-time and in variable-time), etc ...
Project Leader : Ludovic Perret
01/2023
msolve : Multivariate polynomial systems solving
msolve est une bibliothèque écrite en C pour la résolution de systèmes polynomiaux multivariés. Elle s'appuie sur des méthodes algébriques, notamment le calcul de bases de Gröbner, et permet de résoudre de manière exacte des systèmes polynomiaux à coefficients à coefficients rationnels (isolation des racines réelles) ou dans un corps premier (de cardinalité inférieure à 2^31).
msolve inclut des implantations haute-performances des algorithmes réputés les plus efficaces. La librairie peut être utilisée depuis de nombreux systèmes calcul formel et est intégrée dans les systèmes OSCAR et SageMath.
msolve est développée en collaboration avec Christian Eder (TU Kaiserslautern, Allemagne).
Project Leader : Mohab Safey El Din
10/2022
PML : Polynomial Matrix Library
This library provides additions to NTL: efficient implementations for operations on univariate polynomial matrices and structured scalar matrices, and some uses of these for related algebraic computations. Work in progress includes adding functionalities (algebraic relations, normal form computation) and providing similar additions based on Flint.
Project Leader : Vincent Neiger
01/2023