Dernières publications mises à jour
- French 2022 legislatives elections: a verifiability experiment, V. Cortier, P. Gaudry, S. Glondu, S. Ruhault.
- An Algebraic Point of View on the Generation of Pairing-Friendly Curves, J. Gasnier, A. Guillevic.
- Individual Discrete Logarithm with Sublattice Reduction, H. Al Aswad, C. Pierrot.
- Bilan de la mandature 2019-2023 de la Commission d'Évaluation Inria, A. Canteaut, M. Serrano, C. Grandmont, G. Pallez, V. Perrier, X. Rival, E. Thomé.
- Towards a correctly-rounded and fast power function in binary64 arithmetic, T. Hubrecht, C.-P. Jeannerod, P. Zimmermann.
- Algorithms for computing norms and characteristic polynomials on general Drinfeld modules, X. Caruso, A. Leudière.
- Résistance à la coercition en vote électronique : conception et analyse, Q. Yang.
- Deciphering Charles Quint (A diplomatic letter from 1547), C. Pierrot, C. Desenclos, P. Gaudry, P. Zimmermann.
- Discrete Logarithm Factory, H. Al Aswad, C. Pierrot, E. Thomé.
- Dimension results for extremal-generic polynomial systems over complete toric varieties, M.R. Bender, P.-J. Spaenlehauer.
- Is the JCJ voting system really coercion-resistant?, V. Cortier, P. Gaudry, Q. Yang.
- Belenios with cast as intended, V. Cortier, A. Debant, P. Gaudry, S. Glondu.
- Design of new finite state dynamical systems admitting a matrix representation : Application to cryptography, H. Boukerrou.
- Drinfeld modules in SageMath, D. Ayotte, X. Caruso, A. Leudière, J. Musleh.
- Note on FastTwoSum with Directed Roundings, P. Zimmermann.
- Accuracy of Mathematical Functions in Single, Double, Extended Double and Quadruple Precision, V. Innocente, P. Zimmermann.
- GNU MPFR, G. Hanrot, P. Zimmermann, V. Lefèvre, P. Pélissier, P. Théveny.
- A survey of elliptic curves for proof systems, D.F. Aranha, Y. El Housni, A. Guillevic.
- Themis: an On-Site Voting System with Systematic Cast-as-intended Verification and Partial Accountability, M. Bougon, H. Chabanne, V. Cortier, A. Debant, E. Dottax, J. Dreier, P. Gaudry, M. Turuani.
- Benchmarking of lightweight cryptographic algorithms for wireless IoT networks, S. Blanc, A. Lahmadi, K. Le Gouguec, M. Minier, L. Sleem.