Bibliography
Publications of the year
Articles in International Peer-Reviewed Journals
-
1J. Berthomieu, B. Boyer, J.-C. Faugère.
Linear Algebra for Computing Gröbner Bases of Linear Recursive Multidimensional Sequences, in: Journal of Symbolic Computation, November 2017, vol. 83, no Supplement C, pp. 36-67, Special issue on the conference ISSAC 2015: Symbolic computation and computer algebra. [ DOI : 10.1016/j.jsc.2016.11.005 ]
https://hal.inria.fr/hal-01253934 -
2C. E. L. Da Silva, P. R. Da Silva, A. Jacquemard.
Sliding solutions of second-order differential equations with discontinuous right-hand side, in: Mathematical Methods in the Applied Sciences, September 2017, vol. 40, no 14, pp. 5295 - 5306. [ DOI : 10.1002/mma.4387 ]
https://hal-univ-bourgogne.archives-ouvertes.fr/hal-01609363 -
3J.-C. Faugère, C. Mou.
Sparse FGLM algorithms, in: Journal of Symbolic Computation, May 2017, vol. 80, no 3, pp. 538 - 569. [ DOI : 10.1016/j.jsc.2016.07.025 ]
https://hal.inria.fr/hal-00807540 -
4J.-C. Faugère, A. Wallet.
The Point Decomposition Problem over Hyperelliptic Curves: toward efficient computations of Discrete Logarithms in even characteristic, in: Designs, Codes and Cryptography, 2017, forthcoming. [ DOI : 10.1007/s10623-017-0449-y ]
https://hal.inria.fr/hal-01658573 -
5H. Fawzi, M. Safey El Din.
A lower bound on the positive semidefinite rank of convex bodies, in: SIAM Journal on Applied Algebra and Geometry, 2017, pp. 1-14, forthcoming.
https://hal.inria.fr/hal-01657849 -
6D. Henrion, S. Naldi, M. Safey El Din.
SPECTRA -a Maple library for solving linear matrix inequalities in exact arithmetic, in: Optimization, Methods and Software, 2017, https://arxiv.org/abs/1611.01947 - Significantly extended version.
https://hal.laas.fr/hal-01393022 -
7A. Herman, H. Hong, E. Tsigaridas.
Improving Root Separation Bounds, in: Journal of Symbolic Computation, 2017.
https://hal.inria.fr/hal-01456686 -
8V. Y. Pan, E. Tsigaridas.
Accelerated Approximation of the Complex Roots and Factors of a Univariate Polynomial, in: Theoretical Computer Science, June 2017, To appear.
https://hal.inria.fr/hal-01105267 -
9V. Y. Pan, E. Tsigaridas.
Nearly optimal computations with structured matrices, in: Theoretical Computer Science, June 2017.
https://hal.inria.fr/hal-01105263 -
10M. Safey El Din, É. Schost.
A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets, in: Journal of the ACM (JACM), 2017, vol. 63, no 6, pp. 48:1–48:37, https://arxiv.org/abs/1307.7836v2 - Major revision, accepted for publication to Journal of the ACM. [ DOI : 10.1145/2996450 ]
https://hal.inria.fr/hal-00849057 -
11M. Safey El Din, É. Schost.
Bit complexity for multi-homogeneous polynomial system solving Application to polynomial minimization, in: Journal of Symbolic Computation, 2017, pp. 1-32, https://arxiv.org/abs/1605.07433, forthcoming. [ DOI : 10.1016/j.jsc.2017.08.001 ]
https://hal.inria.fr/hal-01319729 -
12A. Strzebonski, E. Tsigaridas.
Univariate real root isolation in an extension field and applications, in: Journal of Symbolic Computation, 2018, forthcoming.
https://hal.inria.fr/hal-01248390
International Conferences with Proceedings
-
13S. Belaid, F. Benhamouda, A. Passelègue, E. Prouff, A. Thillard, D. Vergnaud.
Private Multiplication over Finite Fields, in: Advances in Cryptology - CRYPTO 2017, Santa Barbara, United States, J. Katz, H. Shacham (editors), Lecture Notes in Computer Science, Springer, August 2017, vol. 10403, pp. 397-426. [ DOI : 10.1007/978-3-319-63697-9_14 ]
https://hal.inria.fr/hal-01613773 -
14M. Burr, S. Gao, E. Tsigaridas.
The Complexity of an Adaptive Subdivision Method for Approximating Real Curves, in: ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Kaiserslautern, Germany, July 2017, 8 p. [ DOI : 10.1145/3087604.3087654 ]
https://hal.inria.fr/hal-01528392 -
15A. Mantzaflaris, É. Schost, E. Tsigaridas.
Sparse Rational Univariate Representation, in: ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Kaiserslautern, Germany, July 2017, 8 p. [ DOI : 10.1145/3087604.3087653 ]
https://hal.inria.fr/hal-01528377 -
16A. Mantzaflaris, E. Tsigaridas.
Resultants and Discriminants for Bivariate Tensor-product Polynomials, in: ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Kaiserslautern, Germany, Mohab Safey El Din, July 2017, 8 p. [ DOI : 10.1145/3087604.3087646 ]
https://hal.inria.fr/hal-01525560
Conferences without Proceedings
-
17E. Cagli, C. Dumas, E. Prouff.
Convolutional Neural Networks with Data Augmentation against Jitter-Based Countermeasures, in: Cryptographic Hardware and Embedded Systems - CHES 2017 - 19th International Conference, Taipei, Taiwan, September 2017.
https://hal.archives-ouvertes.fr/hal-01661212
Internal Reports
-
18A. Casanova, J.-C. Faugère, G. Macario-Rat, J. Patarin, L. Perret, J. Ryckeghem.
GeMSS: A Great Multivariate Short Signature, UPMC - Paris 6 Sorbonne Universités ; Inria Paris Research Centre, MAMBA Team, F-75012, Paris, France ; LIP6 - Laboratoire d'Informatique de Paris 6, December 2017, pp. 1-4.
https://hal.inria.fr/hal-01662158 -
19O. Chakraborty, J.-C. Faugère, L. Perret.
CFPKM : A Key Encapsulation Mechanism based on Solving System of non-linear multivariate Polynomials 20171129, UPMC - Paris 6 Sorbonne Universités ; Inria Paris ; CNRS, December 2017.
https://hal.inria.fr/hal-01662175 -
20J.-C. Faugère, L. Perret, J. Ryckeghem.
DualModeMS: A Dual Mode for Multivariate-based Signature 20170918 draft, UPMC - Paris 6 Sorbonne Universités ; Inria Paris ; CNRS, December 2017.
https://hal.inria.fr/hal-01662165
Patents
-
21L. Perret, J.-C. Faugère.
Mise en Oeuvre Optimisée du HFE, January 2017, no WO 2017001809 A1.
https://hal.inria.fr/hal-01668254
Other Publications
-
22J. Berthomieu, J.-C. Faugère.
In-depth comparison of the Berlekamp – Massey – Sakata and the Scalar-FGLM algorithms: the non adaptive variants, May 2017, working paper or preprint.
https://hal.inria.fr/hal-01516708 -
23B. Bonnard, O. Cots, J.-C. Faugère, A. Jacquemard, J. Rouot, M. Safey El Din, T. Verron.
Algebraic-geometric techniques for the feedback classification and robustness of the optimal control of a pair of Bloch equations with application to Magnetic Resonance Imaging, 2017, submitted.
https://hal.inria.fr/hal-01556806 -
24L. Busé, A. Mantzaflaris, E. Tsigaridas.
Matrix formulae for Resultants and Discriminants of Bivariate Tensor-product Polynomials, December 2017, working paper or preprint.
https://hal.inria.fr/hal-01654263 -
25I. Z. Emiris, B. Mourrain, E. Tsigaridas.
Separation bounds for polynomial systems, February 2017, working paper or preprint.
https://hal.inria.fr/hal-01105276 -
26D. Henrion, S. Naldi, M. Safey El Din.
Real root finding for low rank linear matrices, October 2017, working paper or preprint.
https://hal.archives-ouvertes.fr/hal-01159210 -
27V. Magron, M. Safey El Din, M. Schweighofer.
Algorithms for Weighted Sums of Squares Decomposition of Non-negative Univariate Polynomials, June 2017, working paper or preprint.
https://hal.archives-ouvertes.fr/hal-01538729