EN FR
Homepage Inria website


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

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