Sites Inria

Version française

POLSYS Research team

POLSYS team publications

2019

Journal articles

titre
Semidefinite Approximations of Invariant Measures for Polynomial Systems
auteur
Victor Magron, Marcelo Forets, Didier Henrion
article
Discrete and Continuous Dynamical Systems - Series B, American Institute of Mathematical Sciences, 2019, 24 (12), pp.6745-6770. ⟨10.3934/dcdsb.2019165⟩
Accès au bibtex
https://arxiv.org/pdf/1807.00754 BibTex
titre
Computing real radicals and S-radicals of polynomial systems
auteur
Mohab Safey El Din, Zhi-Hong Yang, Lihong Zhi
article
Journal of Symbolic Computation, Elsevier, 2019, ⟨10.1016/j.jsc.2019.10.018⟩
Accès au bibtex
BibTex
titre
Non-quantum cryptanalysis of the noisy version of Aaronson–Christiano's quantum money scheme
auteur
Marta Conde Pena, Raul Durán Díaz, Jean-Charles Faugère, Luis Hernández Encinas, Ludovic Perret
article
IET Information Security, Institution of Engineering and Technology, 2019, 13 (4), pp.362-366. ⟨10.1049/iet-ifs.2018.5307⟩
Accès au bibtex
BibTex
titre
SPECTRA – a Maple library for solving linear matrix inequalities in exact arithmetic
auteur
Didier Henrion, Simone Naldi, Mohab Safey El Din
article
Optimization Methods and Software, Taylor & Francis, 2019, 34 (1), pp.62-78. ⟨10.1080/10556788.2017.1341505⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01393022/file/spectra-more.pdf BibTex
titre
Real root finding for low rank linear matrices
auteur
Didier Henrion, Simone Naldi, Mohab Safey El Din
article
Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 2019, ⟨10.1007/s00200-019-00396-w⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01159210/file/newlowrank.pdf BibTex
titre
Periodic Solutions of a Class of Non-autonomous Discontinuous Second-Order Differential Equations
auteur
Clayton da Silva, Alain Jacquemard, Marco Teixeira
article
Journal of Dynamical and Control Systems, Springer Verlag, In press, pp.1-28. ⟨10.1007/s10883-018-9426-7⟩
Accès au bibtex
BibTex
titre
On the maximal number of real embeddings of minimally rigid graphs in $\mathbb{R}^2$, $\mathbb{R}^3$ and $S^2$
auteur
Evangelos Bartzos, Ioannis Emiris, Jan Legerský, Elias Tsigaridas
article
Journal of Symbolic Computation, Elsevier, In press, ⟨10.1016/j.jsc.2019.10.015⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02271782/file/mathbb%7BR%7D%5E3%24%20and%20%24S%5E2%24.pdf BibTex
titre
Separation bounds for polynomial systems
auteur
Ioannis Emiris, Bernard Mourrain, Elias Tsigaridas
article
Journal of Symbolic Computation, Elsevier, 2019, ⟨10.1016/j.jsc.2019.07.001⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01105276/file/emt-dmm-j.pdf BibTex
titre
In-depth comparison of the Berlekamp–Massey–Sakata and the Scalar-FGLM algorithms: the adaptive variants
auteur
Jérémy Berthomieu, Jean-Charles Faugère
article
Journal of Symbolic Computation, Elsevier, In press, ⟨10.1016/j.jsc.2019.09.001⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01805478/file/main.pdf BibTex
titre
Multilinear Polynomial Systems: Root Isolation and Bit Complexity
auteur
Ioannis Emiris, Angelos Mantzaflaris, Elias Tsigaridas
article
Journal of Symbolic Computation, Elsevier, In press, Special Issue on Milestones in Computer Algebra (MICA 2016)
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02099556/file/emt-bhomo-jsc.pdf BibTex
titre
Matrix formulae for Resultants and Discriminants of Bivariate Tensor-product Polynomials
auteur
Laurent Busé, Angelos Mantzaflaris, Elias Tsigaridas
article
Journal of Symbolic Computation, Elsevier, In press, ⟨10.1016/j.jsc.2019.07.007⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01654263/file/bmt-j-bivar.pdf BibTex
titre
Algorithms for Weighted Sums of Squares Decomposition of Non-negative Univariate Polynomials
auteur
Victor Magron, Mohab Safey El Din, Markus Schweighofer
article
Journal of Symbolic Computation, Elsevier, 2019, 93, pp.200-220. ⟨10.1016/j.jsc.2018.06.005⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01538729/file/1706.03941.pdf BibTex

Conference papers

titre
Lower and Upper Bounds on the Randomness Complexity of Private Computations of AND
auteur
Eyal Kushilevitz, Rafail Ostrovsky, Emmanuel Prouff, Adi Rosén, Adrian Thillard, Damien Vergnaud
article
TCC 2019 - 17th International Conference on Theory of Cryptography, Dec 2019, Nuremberg, Germany. pp.386-406, ⟨10.1007/978-3-030-36033-7_15⟩
Accès au bibtex
BibTex
titre
Computing the volume of compact semi-algebraic sets
auteur
Pierre Lairez, Marc Mezzarobba, Mohab Safey El Din
article
ISSAC 2019 - International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02110556/file/volumes.pdf BibTex
titre
Gröbner Basis over Semigroup Algebras: Algorithms and Applications for Sparse Polynomial Systems
auteur
Matías Bender, Jean-Charles Faugère, Elias Tsigaridas
article
ISSAC 2019 - 44th International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China. pp.42-49, ⟨10.1145/3326229.3326248⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02002689/file/sparseF5.pdf BibTex
titre
Software Toolkit for HFE-based Multivariate Schemes
auteur
Jean-Charles Faugère, Ludovic Perret, Jocelyn Ryckeghem
article
CHES 2019 : International Conference on Cryptographic Hardware and Embedded Systems, Aug 2019, Atlanta, United States. pp.257-304, ⟨10.13154/tches.v2019.i3.257-304⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02389747/file/software_toolkit.pdf BibTex
titre
Assessment of the Key-Reuse Resilience of NewHope
auteur
Aurélie Bauer, Henri Gilbert, Guénaël Renault, Mélissa Rossi
article
CT-RSA 2019 - The Cryptographers' Track at the RSA Conference, Mar 2019, San Francisco, United States. pp.272-292, ⟨10.1007/978-3-030-12612-4_14⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02139910/file/keyreuseresilience.pdf BibTex

Preprints, Working Papers, ...

titre
Fast Quantum Algorithm for Solving Multivariate Quadratic Equations
auteur
Jean-Charles Faugère, Kelsey Horan, Delaram Kahrobaei, Marc Kaplan, Elham Kashefi, Ludovic Perret
article
2019
Accès au bibtex
https://arxiv.org/pdf/1712.07211 BibTex
titre
A nearly optimal algorithm to decompose binary forms
auteur
Matías Bender, Jean-Charles Faugère, Ludovic Perret, Elias Tsigaridas
article
2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01907777/file/tensorDecomposition.pdf BibTex
titre
Computing the topology of a planar or space hyperelliptic curve
auteur
Juan Alcázar, Jorge Caravantes, Gema Diaz-Toca, Elias Tsigaridas
article
2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01968776/file/Topology-hyperelliptic-curves-paper.pdf BibTex

2018

Journal articles

titre
Optimal data fitting: a moment approach
auteur
Jean-Bernard Lasserre, Victor Magron
article
SIAM Journal on Optimization, Society for Industrial and Applied Mathematics, 2018, 28 (4), pp.3127-3144. ⟨10.1137/18M1170108⟩
Accès au bibtex
https://arxiv.org/pdf/1802.03259 BibTex
titre
Interval Enclosures of Upper Bounds of Roundoff Errors using Semidefinite Programming
auteur
Victor Magron
article
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2018, 44 (4), pp.41:1--41:18. ⟨10.1145/3206430⟩
Accès au bibtex
https://arxiv.org/pdf/1611.01318 BibTex
titre
RealCertify: a Maple package for certifying non-negativity
auteur
Victor Magron, Mohab Safey El Din
article
ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2018, 52 (2), pp.34-37. ⟨10.1145/3282678.3282681⟩
Accès au bibtex
https://arxiv.org/pdf/1805.02201 BibTex
titre
Linear Repairing Codes and Side-Channel Attacks
auteur
Hervé Chabanne, Houssem Maghrebi, Emmanuel Prouff
article
IACR Transactions on Cryptographic Hardware and Embedded Systems, IACR, 2018, 2018 (1), pp.118-141. ⟨10.13154/tches.v2018.i1.118-141⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01973360/file/2017-918.pdf BibTex
titre
A lower bound on the positive semidefinite rank of convex bodies
auteur
Hamza Fawzi, Mohab Safey El Din
article
SIAM Journal on Applied Algebra and Geometry, SIAM, 2018, 2 (1), pp.126-139. ⟨10.1137/17M1142570⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01657849/file/lower_bound_psdrank_revised.pdf BibTex
titre
Lower bounds on the number of realizations of rigid graphs
auteur
Georg Grasegger, Christoph Koutschan, Elias Tsigaridas
article
Experimental Mathematics, Taylor & Francis, In press, pp.1-22
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01711441/file/lowerbounds_web.pdf BibTex
titre
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations
auteur
Victor Magron, Alexandre Rocca, Thao Dang
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/TC.2018.2851235⟩
Accès au bibtex
https://arxiv.org/pdf/1802.04385 BibTex
titre
The Complexity of Subdivision for Diameter-Distance Tests
auteur
Michael Burr, Shuhong Gao, Elias Tsigaridas
article
Journal of Symbolic Computation, Elsevier, In press
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01953446/file/PV%20Paper.pdf BibTex
titre
Univariate real root isolation in an extension field and applications
auteur
Adam Strzebonski, Elias Tsigaridas
article
Journal of Symbolic Computation, Elsevier, In press
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248390/file/st-rsef-jsc.pdf BibTex
titre
Bit complexity for multi-homogeneous polynomial system solving Application to polynomial minimization
auteur
Mohab Safey El Din, Éric Schost
article
Journal of Symbolic Computation, Elsevier, In press, 87, pp.176-206. ⟨10.1016/j.jsc.2017.08.001⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01319729/file/bit-multi-homo.pdf BibTex

Conference papers

titre
A Polynomial-Division-Based Algorithm for Computing Linear Recurrence Relations
auteur
Jérémy Berthomieu, Jean-Charles Faugère
article
ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. ⟨10.1145/3208976.3209017⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01784369/file/main.pdf BibTex
titre
On the maximal number of real embeddings of spatial minimally rigid graphs
auteur
Evangelos Bartzos, Ioannis Emiris, Jan Legerský, Elias Tsigaridas
article
ISSAC '18 International Symposium on Symbolic and Algebraic Computation, ACM, Jul 2018, New York, United States. pp.55-62, ⟨10.1145/3208976.3208994⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01710518/file/On%20the%20maximal%20number%20of%20real%20embeddings%20of%20spatial%20minimally%20rigid%20graphs.pdf BibTex
titre
Real root finding for equivariant semi-algebraic systems
auteur
Cordian Riener, Mohab Safey El Din
article
ISSAC 20018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New-York, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01819106/file/rie-sa-18.pdf BibTex
titre
On the complexity of computing real radicals of polynomial systems
auteur
Mohab Safey El Din, Zhi-Hong Yang, Lihong Zhi
article
ISSAC '18 - The 2018 ACM on International Symposium on Symbolic and Algebraic Computation, Jul 2018, New-York, United States. pp.351-358, ⟨10.1145/3208976.3209002⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01956596/file/SaYaZhi18.pdf BibTex
titre
Bilinear systems with two supports: Koszul resultant matrices, eigenvalues, and eigenvectors
auteur
Matías Bender, Jean-Charles Faugère, Angelos Mantzaflaris, Elias Tsigaridas
article
ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. ⟨10.1145/3208976.3209011⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01787549/file/2bilinearHAL.pdf BibTex
titre
Quadratic time algorithm for inversion of binary permutation polynomials
auteur
Lucas Barthelemy, Delaram Kahrobaei, Guénaël Renault, Zoran Šunić
article
ICMS 2018 - International Congress on Mathematical Software, Jul 2018, South Bend, IN, United States. pp.19-27, ⟨10.1007/978-3-319-96418-8_3⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01981320/file/inversion-z2n-lcns.pdf BibTex
titre
On the Use of Independent Component Analysis to Denoise Side-Channel Measurements
auteur
Houssem Maghrebi, Emmanuel Prouff
article
COSADE 2018 - 9th International Workshop on Constructive Side-Channel Analysis and Secure Design, Apr 2018, Singapore, Singapore. pp.61-81, ⟨10.1007/978-3-319-89641-0_4⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01973322/file/2018-177.pdf BibTex
titre
Exact algorithms for semidefinite programs with degenerate feasible set
auteur
Didier Henrion, Simone Naldi, Mohab Safey El Din
article
ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York City, United States. 17p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01705590/file/degSDP.pdf BibTex
titre
Towards Mixed Gröbner Basis Algorithms: the Multihomogeneous and Sparse Case
auteur
Matías Bender, Jean-Charles Faugère, Elias Tsigaridas
article
ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. ⟨10.1145/3208976.3209018⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01787423/file/sparsegbHAL.pdf BibTex
titre
On Exact Polya and Putinar's Representations
auteur
Victor Magron, Mohab Safey El Din
article
ISSAC '18 International Symposium on Symbolic and Algebraic Computation, Jul 2018, New-York, United States. pp.279-286, ⟨10.1145/3208976.3208986⟩
Accès au bibtex
https://arxiv.org/pdf/1802.10339 BibTex

Preprints, Working Papers, ...

titre
On Exact Polya, Hilbert-Artin and Putinar's Representations
auteur
Victor Magron, Mohab Safey El Din
article
2018
Accès au bibtex
https://arxiv.org/pdf/1811.10062 BibTex
titre
A Polynomial-Division-Based Algorithm for Computing Linear Recurrence Relations
auteur
Jérémy Berthomieu, Jean-Charles Faugère
article
2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01935229/file/main.pdf BibTex
titre
Solving determinantal systems using homotopy techniques
auteur
Jonathan D. Hauenstein, Mohab Safey El Din, Éric Schost, Thi Xuan Vu
article
2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01719170/file/all.pdf BibTex
titre
Deterministic factoring with oracles
auteur
François Morain, Guénaël Renault, Benjamin Smith
article
2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01715832/file/oracles.pdf BibTex

2017

Journal articles

titre
Linear Algebra for Computing Gröbner Bases of Linear Recursive Multidimensional Sequences
auteur
Jérémy Berthomieu, Brice Boyer, Jean-Charles Faugère
article
Journal of Symbolic Computation, Elsevier, 2017, 83 (Supplement C), pp.36-67. ⟨10.1016/j.jsc.2016.11.005⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01253934/file/main.pdf BibTex
titre
Sliding solutions of second-order differential equations with discontinuous right-hand side
auteur
Clayton E. L. da Silva, Paulo R. da Silva, Alain Jacquemard
article
Mathematical Methods in the Applied Sciences, Wiley, 2017, 40 (14), pp.5295 - 5306. ⟨10.1002/mma.4387⟩
Accès au bibtex
BibTex
titre
Nearly optimal computations with structured matrices
auteur
Victor Y. Pan, Elias Tsigaridas
article
Theoretical Computer Science, Elsevier, 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01105263/file/pt-struct-j.pdf BibTex
titre
Accelerated Approximation of the Complex Roots and Factors of a Univariate Polynomial
auteur
Victor Y. Pan, Elias Tsigaridas
article
Theoretical Computer Science, Elsevier, 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01105267/file/pt-cr-j.pdf BibTex
titre
Sparse FGLM algorithms
auteur
Jean-Charles Faugère, Chenqi Mou
article
Journal of Symbolic Computation, Elsevier, 2017, 80 (3), pp.538 - 569. ⟨10.1016/j.jsc.2016.07.025⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00807540/file/SparseFGLM.pdf BibTex
titre
The Point Decomposition Problem over Hyperelliptic Curves: toward efficient computations of Discrete Logarithms in even characteristic
auteur
Jean-Charles Faugère, Alexandre Wallet
article
Designs, Codes and Cryptography, Springer Verlag, In press, ⟨10.1007/s10623-017-0449-y⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01658573/file/HyperSum.pdf BibTex
titre
A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets
auteur
Mohab Safey El Din, Éric Schost
article
Journal of the ACM (JACM), Association for Computing Machinery, 2017, 63 (6), pp.48:1--48:37. ⟨10.1145/2996450⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00849057/file/roadmaps-JACM-new-hal.pdf BibTex
titre
Improving Root Separation Bounds
auteur
Aaron Herman, Hoon Hong, Elias Tsigaridas
article
Journal of Symbolic Computation, Elsevier, 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01456686/file/paper.pdf BibTex

Conference papers

titre
Convolutional Neural Networks with Data Augmentation against Jitter-Based Countermeasures.
auteur
Eleonora Cagli, Cécile Dumas, Emmanuel Prouff
article
Cryptographic Hardware and Embedded Systems - CHES 2017 - 19th International Conference, Sep 2017, Taipei, Taiwan
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01661212/file/740.pdf BibTex
titre
Private Multiplication over Finite Fields
auteur
Sonia Belaid, Fabrice Benhamouda, Alain Passelègue, Emmanuel Prouff, Adrian Thillard, Damien Vergnaud
article
Advances in Cryptology - CRYPTO 2017, Aug 2017, Santa Barbara, United States. pp.397-426, ⟨10.1007/978-3-319-63697-9_14⟩
Accès au bibtex
BibTex
titre
Resultants and Discriminants for Bivariate Tensor-product Polynomials
auteur
Angelos Mantzaflaris, Elias Tsigaridas
article
ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Mohab Safey El Din, Jul 2017, Kaiserslautern, Germany. pp.8, ⟨10.1145/3087604.3087646⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01525560/file/bivar-tp.pdf BibTex
titre
Univariate real root isolation over a single logarithmic extension of real algebraic numbers
auteur
Adam Strzebonski, Elias Tsigaridas
article
ACA 2015 - Applications of Computer Algebra, Jul 2015, Kalamata, Greece. pp.425-445, ⟨10.1007/978-3-319-56932-1_27⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01001820/file/st-rs-log%20%281%29.pdf https://hal.inria.fr/hal-01001820/file/st-rs-log.pdf BibTex
titre
The Complexity of an Adaptive Subdivision Method for Approximating Real Curves
auteur
Michael Burr, Shuhong Gao, Elias Tsigaridas
article
ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.8, ⟨10.1145/3087604.3087654⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01528392/file/PVPaper.pdf BibTex
titre
Sparse Rational Univariate Representation
auteur
Angelos Mantzaflaris, Éric Schost, Elias Tsigaridas
article
ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.8, ⟨10.1145/3087604.3087653⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01528377/file/srur.pdf BibTex

Patents

titre
Mise en Oeuvre Optimisée du HFE
auteur
Ludovic Perret, Jean-Charles Faugère
article
France, N° de brevet: WO 2017001809 A1. 2017
Accès au bibtex
BibTex

Reports

titre
GeMSS: A Great Multivariate Short Signature
auteur
Antoine Casanova, Jean-Charles Faugère, Gilles Macario-Rat, Jacques Patarin, Ludovic Perret, Jocelyn Ryckeghem
article
[Research Report] UPMC - Paris 6 Sorbonne Universités; INRIA Paris Research Centre, MAMBA Team, F-75012, Paris, France; LIP6 - Laboratoire d'Informatique de Paris 6. 2017, pp.1-4
Accès au bibtex
BibTex
titre
DualModeMS: A Dual Mode for Multivariate-based Signature
auteur
Jean-Charles Faugère, Ludovic Perret, Jocelyn Ryckeghem
article
[Research Report] UPMC - Paris 6 Sorbonne Universités; INRIA Paris; CNRS. 2017
Accès au bibtex
BibTex
titre
CFPKM : A Key Encapsulation Mechanism based on Solving System of non-linear multivariate Polynomials
auteur
Olive Chakraborty, Jean-Charles Faugère, Ludovic Perret
article
[Research Report] UPMC - Paris 6 Sorbonne Universités; INRIA Paris; CNRS. 2017
Accès au bibtex
BibTex

Preprints, Working Papers, ...

titre
In-depth comparison of the Berlekamp – Massey – Sakata and the Scalar-FGLM algorithms: the non adaptive variants
auteur
Jérémy Berthomieu, Jean-Charles Faugère
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01516708/file/main_part1.pdf BibTex
titre
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
auteur
Bernard Bonnard, Olivier Cots, Jean-Charles Faugère, Alain Jacquemard, Jérémy Rouot, Mohab Safey El Din, Thibaut Verron
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01556806/file/2017-BCFJRSV-submitted.pdf BibTex

2016

Journal articles

titre
SLV: a software for real root isolation
auteur
Elias Tsigaridas
article
ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2016, 50 (3), pp.117 - 120. ⟨10.1145/3015306.3015317⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01422209/file/t-slv.pdf BibTex
titre
Exact algorithms for linear matrix inequalities
auteur
Didier Henrion, Simone Naldi, Mohab Safey El Din
article
SIAM Journal on Optimization, Society for Industrial and Applied Mathematics, 2016, 26 (4), pp.2512-2539. ⟨10.1137/15M1036543⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01184320/file/exactLMIarXiv.pdf BibTex
titre
Moment Varieties of Gaussian Mixtures
auteur
Carlos Amendola, Jean-Charles Faugere, Bernd Sturmfels
article
Journal of Algebraic Statistics, 2016, 7 (1), ⟨10.18409/jas.v7i1.42⟩
Accès au bibtex
BibTex
titre
Real root finding for determinants of linear matrices
auteur
Didier Henrion, Simone Naldi, Mohab Safey El Din
article
Journal of Symbolic Computation, Elsevier, 2016, 74, pp.205-238. ⟨10.1016/j.jsc.2015.06.010⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01077888/file/determinant2.pdf BibTex
titre
Structural Cryptanalysis of McEliece Schemes with Compact Keys
auteur
Jean-Charles Faugère, Ayoub Otmani, Ludovic Perret, Frédéric de Portzamparc, Jean-Pierre Tillich
article
Designs, Codes and Cryptography, Springer Verlag, 2016, 79 (1), pp.87-112. ⟨10.1007/s10623-015-0036-z⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00964265/file/210.pdf BibTex
titre
Redefining the transparency order
auteur
Kaushik Chakraborty, Sumanta Sarkar, Subhamoy Maitra, Bodhisatwa Mazumdar, Debdeep Mukhopadhyay, Emmanuel Prouff
article
Designs, Codes and Cryptography, Springer Verlag, 2016, ⟨10.1007/s10623-016-0250-3⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01399584/file/dpa-dcc-revision.pdf BibTex
titre
On the Connection Between Ritt Characteristic Sets and Buchberger–Gröbner Bases
auteur
Dongming Wang
article
Mathematics in Computer Science, Springer, 2016, 10 (4), pp.479-492. ⟨10.1007/s11786-016-0279-8⟩
Accès au bibtex
BibTex
titre
Folding Alternant and Goppa Codes with Non-Trivial Automorphism Groups
auteur
Jean-Charles Faugère, Ayoub Otmani, Ludovic Perret, Frédéric de Portzamparc, Jean-Pierre Tillich
article
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2016, 62 (1), pp.184-198. ⟨10.1109/TIT.2015.2493539⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00992389/file/folded_it.pdf BibTex
titre
On the complexity of computing Gröbner bases for weighted homogeneous systems
auteur
Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron
article
Journal of Symbolic Computation, Elsevier, 2016, 76, pp.107-141. ⟨10.1016/j.jsc.2015.12.001⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01097316/file/main.pdf BibTex
titre
A survey on signature-based algorithms for computing Gröbner basis computations
auteur
Christian Eder, Jean-Charles Faugère
article
Journal of Symbolic Computation, Elsevier, 2016, pp.1-75. ⟨10.1016/j.jsc.2016.07.031⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00974810/file/survey%20%281%29.pdf BibTex

Conference papers

titre
Optimal Control of an Ensemble of Bloch Equations with Applications in MRI
auteur
Bernard Bonnard, Alain Jacquemard, Jérémy Rouot
article
55th IEEE Conference on Decision and Control - CDC, Dec 2016, Las Vegas, United States. pp.1608-1613, ⟨10.1109/CDC.2016.7798495⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01287290/file/CDC_MRI.pdf BibTex
titre
Binary Permutation Polynomial Inversion and Application to Obfuscation Techniques
auteur
Lucas Barthelemy, Ninon Eyrolles, Guénaël Renault, Raphaël Roblin
article
2nd International Workshop on Software PROtection, Oct 2016, Vienna, Austria. ⟨10.1145/2995306.2995310⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01388108/file/%5BFinal%5DSubmission6.pdf BibTex
titre
On the Bit Complexity of Solving Bilinear Polynomial Systems
auteur
Ioannis Emiris, Angelos Mantzaflaris, Elias Tsigaridas
article
ISSAC '16 - 41st International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. pp.215-222, ⟨10.1145/2930889.2930919⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01401134/file/bilinear.pdf BibTex
titre
GBLA – Gröbner Basis Linear Algebra Package
auteur
Brice Boyer, Christian Eder, Jean-Charles Faugère, Sylvian Lachartre, Fayssal Martani
article
41st International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, ON, Canada. pp.135-142, ⟨10.1145/2930889.2930914⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01276346/file/groblin.pdf BibTex
titre
Guessing Linear Recurrence Relations of Sequence Tuples and P-recursive Sequences with Linear Algebra
auteur
Jérémy Berthomieu, Jean-Charles Faugère
article
41st International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, ON, Canada. pp.95-102, ⟨10.1145/2930889.2930926⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01314266/file/main_HAL.pdf BibTex
titre
Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems
auteur
Jean-Charles Faugère, Pierre-Jean Spaenlehauer, Jules Svartz
article
International Symposium on Symbolic and Algebraic Computation (ISSAC 2016), Jul 2016, Waterloo, Canada. pp.223-230, ⟨10.1145/2930889.2930927⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01314651/file/fewnomials.pdf BibTex
titre
Randomness Complexity of Private Circuits for Multiplication
auteur
Sonia Belaid, Fabrice Benhamouda, Alain Passelègue, Emmanuel Prouff, Adrian Thillard, Damien Vergnaud
article
EUROCRYPT 2016, May 2016, Vienna, Austria. pp.616-648, ⟨10.1007/978-3-662-49896-5_22⟩
Accès au bibtex
BibTex
titre
Factoring $N=p^r q^s$ for Large $r$ and $s$
auteur
Jean-Sébastien Coron, Jean-Charles Faugère, Guénaël Renault, Rina Zeitoun
article
RSA Conference Cryptographers' Track , Feb 2016, San Francisco, United States. ⟨10.1007/978-3-319-29485-8_26⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01250302/file/Copp16.pdf BibTex
titre
A Superfast Randomized Algorithm to Decompose Binary Forms
auteur
Matías Bender, Jean-Charles Faugère, Ludovic Perret, Elias Tsigaridas
article
ISSAC '16 - 41st International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. pp.79-86, ⟨10.1145/2930889.2930896⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01363545/file/binaryFormDecomposition.pdf BibTex
titre
Kernel Discriminant Analysis for Information Extraction in the Presence of Masking
auteur
Eleonora Cagli, Cécile Dumas, Emmanuel Prouff
article
CARDIS 2016 - 15th International Conference on Smart Card Research and Advanced Applications, Nov 2016, Cannes, France. pp.1-22, ⟨10.1007/978-3-319-54669-8_1⟩
Accès au bibtex
BibTex
titre
Determinantal sets, singularities and application to optimal control in medical imagery
auteur
Bernard Bonnard, Jean-Charles Faugère, Alain Jacquemard, Mohab Safey El Din, Thibaut Verron
article
International symposium on symbolic and algebraic computations, Jul 2016, Waterloo, Canada. pp.103-110, ⟨10.1145/2930889.2930916⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01307073/file/SingulWater.pdf BibTex
titre
Critical Point Computations on Smooth Varieties: Degree and Complexity bounds
auteur
Mohab Safey El Din, Pierre-Jean Spaenlehauer
article
International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2016, Waterloo, Canada. pp.183--190, ⟨10.1145/2930889.2930929⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01312750/file/main.pdf BibTex
titre
Enhancing Dimensionality Reduction Methods for Side-Channel Attacks
auteur
Eleonora Cagli, Cécile Dumas, Emmanuel Prouff
article
14th Smart Card Research and Advanced Applications Conference (CARDIS 2015), Nov 2015, Bochum, Germany. pp.15 - 33, ⟨10.1007/978-3-319-31271-2_2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01399580/file/Cardis2015_CDP_Enhancing_Dimensionality_Reduction_SCA.pdf BibTex
titre
Horizontal Side-Channel Attacks and Countermeasures on the ISW Masking Scheme
auteur
Alberto Battistello, Jean-Sébastien Coron, Emmanuel Prouff, Rina Zeitoun
article
18th Conference on Cryptographic Hardware and Embedded Systems (CHES 2016), Aug 2016, Santa Barbara, CA, United States. pp.23 - 39, ⟨10.1007/978-3-662-53140-2_2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01399577/file/dpaisw_proce.pdf BibTex
titre
Faster Evaluation of SBoxes via Common Shares
auteur
Jean-Sébastien Coron, Aurélien Greuet, Emmanuel Prouff, Rina Zeitoun
article
18th International Conference on Cryptographic Hardware and Embedded Systems (CHES 2016), Aug 2016, Santa Barbara, CA, United States. pp.498 - 514, ⟨10.1007/978-3-662-53140-2_24⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01399578/file/pararp_proce.pdf BibTex

Book sections

titre
Polynomial Evaluation and Side Channel Analysis
auteur
Claude Carlet, Emmanuel Prouff
article
The New Codebreakers, 9100, Springer, pp.315 - 341, 2016, Lecture Notes in Computer Science, 978-3-662-49300-7. ⟨10.1007/978-3-662-49301-4_20⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01399573/file/article_Kahn_final.pdf BibTex

Habilitation à diriger des recherches

titre
Bases de Gröbner en Cryptographie Post-Quantique
auteur
Ludovic Perret
article
Cryptographie et sécurité [cs.CR]. UPMC - Paris 6 Sorbonne Universités, 2016
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01417808/file/Hdr_LudovicPerret.pdf BibTex
titre
Contribution à la Résolution Algébrique et Applications en Cryptologie
auteur
Guénaël Renault
article
Calcul formel [cs.SC]. UPMC - Paris 6 Sorbonne Universités, 2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01416242/file/HDR_RENAULT.pdf BibTex

Master thesis

titre
Algèbre linéaire dédiée pour les algorithmes Scalar-FGLM et Berlekamp-Massey-Sakata
auteur
Vincent Guisse
article
Calcul formel [cs.SC]. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01516249/file/rapport.pdf BibTex

Theses

titre
Regularisation of Gröbner basis computations for weighted and determinantal systems, and application to medical imagery
auteur
Thibaut Verron
article
Data Structures and Algorithms [cs.DS]. Université Pierre et Marie Curie - Paris VI, 2016. English. ⟨NNT : 2016PA066355⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01404406/file/2016PA066355a.pdf BibTex

Preprints, Working Papers, ...

titre
On the p-adic stability of the FGLM algorithm
auteur
Guénaël Renault, Tristan Vaccon
article
2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01266071/file/fglmp.pdf BibTex

2015

Journal articles

titre
On the complexity of the F5 Gröbner basis algorithm
auteur
Magali Bardet, Jean-Charles Faugère, Bruno Salvy
article
Journal of Symbolic Computation, Elsevier, 2015, 70, pp.49--70. ⟨10.1016/j.jsc.2014.09.025⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01064519/file/analyseF5.pdf BibTex
titre
Polynomial-Time Algorithms for Quadratic Isomorphism of Polynomials: The Regular Case
auteur
Jérémy Berthomieu, Jean-Charles Faugère, Ludovic Perret
article
Journal of Complexity, Elsevier, 2015, 31 (4), pp.590--616. ⟨10.1016/j.jco.2015.04.001⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00846041/file/Final.pdf BibTex
titre
On the complexity of the BKW algorithm on LWE
auteur
Martin Albrecht, Carlos Cid, Jean-Charles Faugère, Robert Fitzpatrick, Ludovic Perret
article
Designs, Codes and Cryptography, Springer Verlag, 2015, 74 (2), pp.26. ⟨10.1007/s10623-013-9864-x⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00921517/file/636.pdf BibTex
titre
Nearly Optimal Refinement of Real Roots of a Univariate Polynomial
auteur
Victor Y. Pan, Elias Tsigaridas
article
Journal of Symbolic Computation, Elsevier, 2015, 74, pp.181-204. ⟨10.1016/j.jsc.2015.06.009⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00960896/file/pt-refine-jsc.pdf BibTex

Conference papers

titre
Polynomial Interrupt Timed Automata
auteur
Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas
article
The 9th Workshop on Reachability Problems (RP'15), Sep 2015, Warsaw, Poland. pp.20-32, ⟨10.1007/978-3-319-24537-9_3⟩
Accès au bibtex
BibTex
titre
Improved Sieving on Algebraic Curves
auteur
Vanessa Vitse, Alexandre Wallet
article
LATINCRYPT 2015, 4th International Conference on Cryptology and Information Security in Latin America, Aug 2015, Guadalajara, Mexico. pp.295-307, ⟨10.1007/978-3-319-22174-8_16⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01203086/file/SievingB.pdf BibTex
titre
Probabilistic Algorithm for Computing the Dimension of Real Algebraic Sets
auteur
Ivan Bannwarth, Mohab Safey El Din
article
ISSAC'15 - 40th International Symposium on Symbolic and Algebraic Computation, Jul 2015, Bath, United Kingdom. pp.37-44, ⟨10.1145/2755996.2756670⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01152751/file/HAL_issac_2015.pdf BibTex
titre
Optimizing a Parametric Linear Function over a Non-compact Real Algebraic Variety
auteur
Feng Guo, Mohab Safey El Din, Wang Chu, Lihong Zhi
article
The 2015 ACM on International Symposium on Symbolic and Algebraic Computation, Jul 2015, Bath, United Kingdom. pp.205-212, ⟨10.1145/2755996.2756666⟩
Accès au bibtex
BibTex
titre
Linear Algebra for Computing Gröbner Bases of Linear Recursive Multidimensional Sequences
auteur
Jérémy Berthomieu, Brice Boyer, Jean-Charles Faugère
article
40th International Symposium on Symbolic and Algebraic Computation, Jul 2015, Bath, United Kingdom. pp.61--68, ⟨10.1145/2755996.2756673⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01237861/file/BMS-HAL.pdf BibTex
titre
Real root finding for rank defects in linear Hankel matrices
auteur
Didier Henrion, Simone Naldi, Mohab Safey El Din
article
International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2015, Bath, United Kingdom. pp.221-228, ⟨10.1145/2755996.2756667⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01114378/file/hankel.pdf BibTex
titre
A Polynomial-Time Key-Recovery Attack on MQQ Cryptosystems
auteur
Jean-Charles Faugère, Danilo Gligoroski, Ludovic Perret, Samardjiska Simona, Enrico Thomae
article
IACR International Conference on Practice and Theory of Public-Key Cryptography (PKC'15), Mar 2015, Maryland, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01074194/file/811.pdf BibTex
titre
Algebraic Cryptanalysis of a Quantum Money Scheme The Noise-Free Case
auteur
Marta Conde Pena, Jean-Charles Faugère, Ludovic Perret
article
IACR International Conference on Practice and Theory of Public-Key Cryptography (PKC'15), Mar 2015, Maryland, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01098223/file/hidd_subs.pdf BibTex
titre
Bounds for the Condition Number of Polynomials Systems with Integer Coefficients
auteur
Aaron Herman, Elias Tsigaridas
article
CASC, 2015, Aachen, Germany. pp.210--219, ⟨10.1007/978-3-319-24021-3_16⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248389/file/dmm-cond.pdf BibTex

Book sections

titre
Algorithmes efficaces en géométrie algébrique réelle
auteur
Mohab Safey El Din
article
Informatique Mathématique Une photographie en 2015, CNRS Editions, 2015, 978-2-271-08791-1
Accès au bibtex
BibTex

Preprints, Working Papers, ...

titre
Mobile 4R and 5R loops
auteur
Daniel Lazard
article
2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01130254/file/article.pdf BibTex
titre
Simple and Efficient Real Root-finding for a Univariate Polynomial
auteur
Victor Y. Pan, Elias Tsigaridas, Zhao Liang
article
2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01105309/file/ptz-rf-sub.pdf BibTex

2014

Journal articles

titre
Probabilistic Algorithm for Polynomial Optimization over a Real Algebraic Set
auteur
Aurélien Greuet, Mohab Safey El Din
article
SIAM Journal on Optimization, Society for Industrial and Applied Mathematics, 2014, 24 (3), pp.1313-1343. ⟨10.1137/130931308⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00849523/file/siopt_v2.pdf BibTex
titre
Intrinsic complexity estimates in polynomial optimization
auteur
Bernd Bank, Marc Giusti, Joos Heintz, Mohab Safey El Din
article
Journal of Complexity, Elsevier, 2014, 30 (4), pp.430-443. ⟨10.1016/j.jco.2014.02.005⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00815123/file/opt_27_01_14.pdf BibTex
titre
Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification
auteur
Xiaoliang Li, Dongming Wang
article
Journal of Mathematical Economics, Elsevier, 2014, 54, pp.48-58. ⟨10.1016/j.jmateco.2014.08.007⟩
Accès au bibtex
BibTex
titre
A Baby Step–Giant Step Roadmap Algorithm for General Algebraic Sets
auteur
Saugata Basu, Marie-Françoise Roy, Mohab Safey El Din, Eric Schost
article
Foundations of Computational Mathematics, Springer Verlag, 2014, 14 (6), pp.1117 - 1172. ⟨10.1007/s10208-014-9212-1⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01096209/file/brss_revised-may-15-2014.pdf BibTex

Conference papers

titre
Algebraic Attack against Variants of McEliece with Goppa Polynomial of a Special Form
auteur
Jean-Charles Faugère, Ludovic Perret, Frédéric de Portzamparc
article
Advances in Cryptology Asiacrypt 2014, Dec 2014, Kaohsiung, Taiwan. pp.21-41, ⟨10.1007/978-3-662-45611-8_2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01064687/file/algebraic_wild.pdf BibTex
titre
ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves
auteur
Jing Yang, Dongming Wang, Hoon Hong
article
10th Asian Symposium on Computer Mathematics, Oct 2014, Beijing, China. pp.437-451, ⟨10.1007/978-3-662-43799-5_29⟩
Accès au bibtex
BibTex
titre
Accelerated Approximation of the Complex Roots of a Univariate Polynomial (Extended Abstract)
auteur
Victor Y. Pan, Elias Tsigaridas
article
SNC '14 - Symposium on Symbolic-Numeric Computation, Jul 2014, Shanghai, China. pp.132-134, ⟨10.1145/2631948.2631973⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00980584/file/pt-cr-snc.pdf BibTex
titre
Nearly Optimal Computations with Structured Matrices
auteur
Victor Y. Pan, Elias Tsigaridas
article
SNC '14 - Symposium on Symbolic-Numeric Computation, Jul 2014, Shanghai, China. pp.21-30, ⟨10.1145/2631948.2631954⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00980591/file/pt-struct-snc.pdf BibTex
titre
Sub-cubic Change of Ordering for Gröner Basis: A Probabilistic Approach
auteur
Jean-Charles Faugère, Pierrick Gaudry, Louise Huot, Guénaël Renault
article
ISSAC '14 - 39th International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan. pp.170--177, ⟨10.1145/2608628.2608669⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01064551/file/p170-faugere.pdf BibTex
titre
Sparse Gröbner Bases: the Unmixed Case
auteur
Jean-Charles Faugère, Pierre-Jean Spaenlehauer, Jules Svartz
article
ISSAC 2014, Jul 2014, Kobe, Japan. ⟨10.1145/2608628.2608663⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00953501/file/GroebnerCreux.pdf BibTex
titre
Computing necessary integrability conditions for planar parametrized homogeneous potentials
auteur
Alin Bostan, Thierry Combot, Mohab Safey El Din
article
ISSAC'14 - International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan. pp.67-74, ⟨10.1145/2608628.2608662⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00994116/file/BoCoSa14-hal.pdf BibTex
titre
Structural weakness of compact variants of the McEliece cryptosystem
auteur
Jean-Charles Faugère, Ludovic Perret, Frédéric de Portzamparc, Ayoub Otmani, Jean-Pierre Tillich
article
IEEE International Symposium on Information Theory - ISIT 2014, Jun 2014, Honolulu, United States. pp.1717-1721
Accès au bibtex
BibTex
titre
Symmetrized summation polynomials: using small order torsion points to speed up elliptic curve index calculus
auteur
Jean-Charles Faugère, Louise Huot, Antoine Joux, Guénaël Renault, Vanessa Vitse
article
EUROCRYPT 2014 - 33rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, May 2014, Copenhagen, Denmark. pp.40-57, ⟨10.1007/978-3-642-55220-5_3⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00935050/file/Semaev2torsion.pdf BibTex
titre
Rounding and Chaining LLL: Finding Faster Small Roots of Univariate Polynomial Congruences
auteur
Jingguo Bi, Jean-Sébastien Coron, Jean-Charles Faugère, Phong Q. Nguyen, Guénaël Renault, Rina Zeitoun
article
PKC 2014 - 17th IACR International Conference on Practice and Theory of Public-Key Cryptography, Mar 2014, Buenos Aires, Argentina. pp.185-202, ⟨10.1007/978-3-642-54631-0_11⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00926902/file/PKC14_Copp.pdf BibTex
titre
Practical Cryptanalysis of a Public-Key Encryption Scheme Based on New Multivariate Quadratic Assumptions
auteur
Martin Albrecht, Jean-Charles Faugère, Robert Fitzpatrick, Ludovic Perret, Yosuke Todo, Keita Xagawa
article
PKC 2014 - 17th International Conference on Practice and Theory in Public-Key Cryptography, Mar 2014, Buenos Aires, Argentina
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00932382/file/mqpkc-lattice.pdf BibTex
titre
Lazy Modulus Switching for the BKW Algorithm on LWE
auteur
Martin Albrecht, Jean-Charles Faugère, Robert Fitzpatrick, Ludovic Perret
article
Public-Key Cryptography - PKC 2014 - 17th International Conference on Practice and Theory in Public-Key Cryptography, Mar 2014, Buenos Aires, Argentina
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00925187/file/bkw-small-secret.pdf BibTex

Directions of work or proceedings

titre
Mathematical and computer algebra techniques in cryptology
auteur
Jean-Charles Faugère, Domingo Gómez-Pérez, Jaime Gutierrez, Ludovic Perret
article
Jean-Charles Faugère; Domingo Gómez-Pérez; Jaime Gutierrez; Ludovic Perret. France. 64, Elsevier, pp.1-88, 2014, ⟨10.1016/j.jsc.2013.12.001⟩
Accès au bibtex
BibTex

Preprints, Working Papers, ...

titre
Bounds for the Condition Number for Polynomials with Integer Coefficients
auteur
Aaron Herman, Elias Tsigaridas
article
2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01098981/file/dmm-cond.pdf BibTex
titre
Algebraic Algorithms for LWE Problems
auteur
Martin Albrecht, Carlos Cid, Jean-Charles Faugère, Robert Fitzpatrick, Ludovic Perret
article
2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01072721/file/structured_noise.pdf BibTex

2013

Journal articles

titre
Polynomial root finding over local rings and application to error correcting codes
auteur
Jérémy Berthomieu, Grégoire Lecerf, Guillaume Quintin
article
Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 2013, 24 (6), pp.413-443. ⟨10.1007/s00200-013-0200-5⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00642075/file/main36.pdf BibTex
titre
Foreword to the Special Focus on Mathematics, Data and Knowledge
auteur
Xiaoyu Chen, Dongming Wang, Xiangliang Zhang
article
Mathematics in Computer Science, Springer, 2013, Special Focus on Mathematics, Data and Knowledge, 7 (4), pp.379-386. ⟨10.1007/s11786-013-0169-2⟩
Accès au bibtex
BibTex
titre
A polynomial approach for extracting the extrema of a spherical function and its application in diffusion MRI
auteur
Aurobrata Ghosh, Elias Tsigaridas, Bernard Mourrain, Rachid Deriche
article
Medical Image Analysis, Elsevier, 2013, 17 (5), pp.503-514. ⟨10.1016/j.media.2013.03.004⟩
Accès au bibtex
BibTex
titre
A Distinguisher for High Rate McEliece Cryptosystems
auteur
Jean-Charles Faugère, Valérie Gauthier-Umana, Ayoub Otmani, Ludovic Perret, Jean-Pierre Tillich
article
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2013, 59 (10), pp.6830-6844. ⟨10.1109/TIT.2013.2272036⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00776068/file/MAYA2-UPMCINRIA-adist-2.0.pdf BibTex
titre
Using Symmetries in the Index Calculus for Elliptic Curves Discrete Logarithm
auteur
Jean-Charles Faugère, Pierrick Gaudry, Louise Huot, Guénaël Renault
article
Journal of Cryptology, Springer Verlag, 2013, pp.1-40. ⟨10.1007/s00145-013-9158-5⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00700555/file/FGHR.pdf BibTex
titre
On the Complexity of the Generalized MinRank Problem
auteur
Jean-Charles Faugère, Mohab Safey El Din, Pierre-Jean Spaenlehauer
article
Journal of Symbolic Computation, Elsevier, 2013, 55, pp.30-58. ⟨10.1016/j.jsc.2013.03.004⟩
Accès au bibtex
https://arxiv.org/pdf/1112.4411 BibTex
titre
On the Complexity of Solving Quadratic Boolean Systems
auteur
Magali Bardet, Jean-Charles Faugère, Bruno Salvy, Pierre-Jean Spaenlehauer
article
Journal of Complexity, Elsevier, 2013, 29 (1), pp.53-75. ⟨10.1016/j.jco.2012.07.001⟩
Accès au bibtex
https://arxiv.org/pdf/1112.6263 BibTex
titre
Decomposing polynomial sets into simple sets over finite fields: The positive-dimensional case
auteur
Chenqi Mou, Dongming Wang, Xiaoliang Li
article
Theoretical Computer Science, Elsevier, 2013, 468, pp.102-113. ⟨10.1016/j.tcs.2012.11.009⟩
Accès au bibtex
BibTex
titre
Cryptanalysis of HFE, Multi-HFE and Variants for Odd and Even Characteristic
auteur
Luk Bettale, Jean-Charles Faugère, Ludovic Perret
article
Designs, Codes and Cryptography, Springer Verlag, 2013, 69 (1), pp.1 - 52. ⟨10.1007/s10623-012-9617-2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00776072/file/MAYA2-UPMCINRIA-v1-key_recovery_on_HFE_2.0.pdf BibTex
titre
Improving Angular Speed Uniformity by Reparameterization
auteur
Jing Yang, Dongming Wang, Hoon Hong
article
Computer Aided Geometric Design, Elsevier, 2013, 30 (7), pp.636-652. ⟨10.1016/j.cagd.2013.04.001⟩
Accès au bibtex
BibTex
titre
Exact Voronoi diagram of smooth convex pseudo-circles: General predicates, and implementation for ellipses
auteur
Ioannis Emiris, Elias Tsigaridas, George Tzoumas
article
Computer Aided Geometric Design, Elsevier, 2013, ⟨10.1016/j.cagd.2013.06.005⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00843033/file/ett-vor-pcircles.pdf BibTex
titre
Patience of Matrix Games
auteur
Kristoffer Arnsfelt Hansen, Rasmus Ibsen-Jensen, Vladimir V. Podolskii, Elias Tsigaridas
article
Discrete Applied Mathematics, Elsevier, 2013, ⟨10.1016/j.dam.2013.05.008⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00843052/file/MatrixGamePatience_revision.pdf BibTex
titre
A Framework for Improving Uniformity of Parameterizations of Curves
auteur
Hoon Hong, Dongming Wang, Jing Yang
article
Science China Information Sciences, Springer, 2013, 56 (10), pp.108101:1-108101:22. ⟨10.1007/s11432-013-4924-4⟩
Accès au bibtex
BibTex
titre
Improving incremental signature-based Gröbner basis algorithms
auteur
Christian Eder
article
ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2013, 47 (1), pp.1-13. ⟨10.1145/2503697.2503699⟩
Accès au bibtex
BibTex
titre
Formalization and Specification of Geometric Knowledge Objects
auteur
Xiaoyu Chen, Dongming Wang
article
Mathematics in Computer Science, Springer, 2013, Special Focus on Mathematics, Data and Knowledge, 7 (4), pp.439-454. ⟨10.1007/s11786-013-0167-4⟩
Accès au bibtex
BibTex
titre
An analysis of inhomogeneous signature-based Gröbner basis computations
auteur
Christian Eder
article
Journal of Symbolic Computation, Elsevier, 2013, 59, pp.21--35. ⟨10.1016/j.jsc.2013.08.001⟩
Accès au bibtex
https://arxiv.org/pdf/1203.6186 BibTex
titre
A new algorithmic scheme for computing characteristic sets
auteur
Meng Jin, Xiaoliang Li, Dongming Wang
article
Journal of Symbolic Computation, Elsevier, 2013, 50, pp.431-449. ⟨10.1016/j.jsc.2012.04.004⟩
Accès au bibtex
BibTex
titre
On the minimum of a polynomial function on a basic closed semialgebraic set and applications
auteur
Gabriella Jeronimo, Daniel Perrucci, Elias Tsigaridas
article
SIAM Journal on Optimization, Society for Industrial and Applied Mathematics, 2013, 23 (1), pp.241--255
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00776280/file/MinDistance_revised.pdf BibTex

Conference papers

titre
The Special Number Field Sieve in $\F _{p^{n}}$, Application to Pairing-Friendly Constructions
auteur
Antoine Joux, Cécile Pierrot
article
6th International Conference on Pairing-based Cryptography, Pairing 2013, Nov 2013, Beijing, China. pp.45-61, ⟨10.1007/978-3-319-04873-4_3⟩
Accès au bibtex
BibTex
titre
On the Complexity of Computing Gröbner Bases for Quasi-homogeneous Systems
auteur
Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron
article
The 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, Maine, United States. pp.189-196, ⟨10.1145/2465506.2465943⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00780388/file/issac53p-faugere.pdf BibTex
titre
Gröbner Bases of Ideals Invariant under a Commutative Group: the Non-Modular Case
auteur
Jean-Charles Faugère, Jules Svartz
article
The 38th International Symposium on Symbolic and Algebraic Computation, ISSAC '13, Jun 2013, Boston, United States. pp.347-354, ⟨10.1145/2465506.2465944⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00819337/file/FS13.pdf BibTex
titre
Signature Rewriting in Gröbner Basis Computation
auteur
Christian Eder, Bjarke Hammersholt Roune
article
ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. pp.331-338, ⟨10.1145/2465506.2465522⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00930273/file/sbff.pdf BibTex
titre
Critical Point Methods and Effective Real Algebraic Geometry: New Results and Trends
auteur
Mohab Safey El Din
article
ISSAC 2013 - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. pp.5-6, ⟨10.1145/2465506.2465928⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00922718/file/abstract-safeyeldin.pdf BibTex
titre
Computing rational solutions of linear matrix inequalities
auteur
Qingdong Guo, Mohab Safey El Din, Lihong Zhi
article
ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00815174/file/rational-lmi-6.pdf BibTex
titre
On the Boolean complexity of real root refinement
auteur
Victor Pan, Elias Tsigaridas
article
ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. ⟨10.1145/2465506.2465938⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00816214/file/pt-refine.pdf BibTex
titre
Combined Attack on CRT-RSA. Why Public Verification Must Not Be Public?
auteur
Guillaume Barbu, Alberto Battistelllo, Guillaume Dabosville, Christophe Giraud, Guénaël Renault, Soline Renner, Rina Zeitoun
article
PKC 2013 - Public-Key Cryptography, Feb 2013, Nara, Japan. pp.198-215, ⟨10.1007/978-3-642-36362-7_13⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00777788/file/CA-CRT-RSA.pdf BibTex

Theses

titre
Polynomial systems solving and elliptic curve cryptography
auteur
Louise Huot
article
Symbolic Computation [cs.SC]. Université Pierre et Marie Curie - Paris VI, 2013. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00925271/file/these.pdf BibTex
titre
Optimisation polynomiale et variétés polaires : théorie, algorithmes, et implantations
auteur
Aurélien Greuet
article
Optimisation et contrôle [math.OC]. Université de Versailles-Saint Quentin en Yvelines, 2013. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00922805/file/these.pdf BibTex
titre
Solving Polynomial Systems over Finite Fields: Algorithms, Implementation and Applications
auteur
Chenqi Mou
article
Symbolic Computation [cs.SC]. Université Pierre et Marie Curie, 2013. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01110887/file/ThesisChenqiMOU_final.pdf BibTex

Preprints, Working Papers, ...

titre
Polynomial Systems Solving by Fast Linear Algebra
auteur
Jean-Charles Faugère, Pierrick Gaudry, Louise Huot, Guénaël Renault
article
2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00816724/file/orderChange.pdf BibTex
titre
Decomposition of multihomogeneous polynomials: minimal number of variables
auteur
Jérémy Berthomieu
article
2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00778659/file/M-H_Ridge-ISSAC.pdf BibTex
titre
A probabilistic algorithm to compute the real dimension of a semi-algebraic set
auteur
Mohab Safey El Din, Elias Tsigaridas
article
2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00808708/file/rd-07.pdf BibTex

2012

Journal articles

titre
Design of termination criterion of BMS algorithm for lexicographical ordering
auteur
Chenqi Mou
article
Journal of Computer Applications, 2012, 32 (11), pp.2977--2980. ⟨10.3724/SP.J.1087.2012.02977⟩
Accès au bibtex
BibTex
titre
Improved bounds for the CF algorithm
auteur
Elias Tsigaridas
article
Theoretical Computer Science, Elsevier, 2012, pp.1-12
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00776230/file/et-improve-bd-cf.pdf BibTex
titre
Efficient Arithmetic in Successive Algebraic Extension Fields Using Symmetries
auteur
Sébastien Orange, Guénaël Renault, Kazuhiro Yokoyama
article
Mathematics in Computer Science, Springer, 2012, 6 (3), pp.217-233. ⟨10.1007/s11786-012-0112-y⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00777860/file/mcs-main.pdf BibTex
titre
Algebraic Analysis of Stability and Bifurcation of a Self-assembling Micelle System
auteur
Wei Niu, Dongming Wang
article
Applied Mathematics and Computation, Elsevier, 2012, 219 (1), pp.108-121. ⟨10.1016/j.amc.2012.04.087⟩
Accès au bibtex
BibTex
titre
On the relation between the MXL family of algorithms and Gröbner basis algorithms
auteur
Martin R. Albrecht, Carlos Cid, Jean-Charles Faugère, Ludovic Perret
article
Journal of Symbolic Computation, Elsevier, 2012, 47 (8), pp.926-941. ⟨10.1016/j.jsc.2012.01.002⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00776071/file/MAYA2-UPMCINRIA-mutant_2.0.pdf BibTex
titre
Analysis of the algebraic side channel attack
auteur
Claude Carlet, Jean-Charles Faugère, Christopher Goyet, Guénaël Renault
article
Journal of Cryptographic Engineering, Springer, 2012, 2 (1), pp.45-62. ⟨10.1007/s13389-012-0028-0⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00777829/file/ASCA_JCEN.pdf BibTex
titre
On enumeration of polynomial equivalence classes and their application to MPKC
auteur
Dongdai Lin, Jean-Charles Faugère, Ludovic Perret, Tianze Wang
article
Finite Fields and Their Applications, Elsevier, 2012, 18 (2), pp.283-302. ⟨10.1016/j.ffa.2011.09.001⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00776073/file/FFA2011.pdf BibTex
titre
Management of Geometric Knowledge in Textbooks
auteur
Xiaoyu Chen, Dongming Wang
article
Data and Knowledge Engineering, Elsevier, 2012, 73, pp.43-57. ⟨10.1016/j.datak.2011.10.004⟩
Accès au bibtex
BibTex
titre
Simple Decomposition of Polynomial Sets over Finite Fields
auteur
Xiaoliang Li, Dongming Wang
article
Journal of Systems Science and Mathematical Sciences, Kexue Chubanshe, 2012, 32 (1), pp.15-26
Accès au bibtex
BibTex
titre
Algebraic Stability Criteria and Symbolic Derivation of Stability Conditions for Feedback Control Systems
auteur
Dongming Wang
article
International Journal of Control, Taylor & Francis, 2012, 85 (10), pp.1414-1421. ⟨10.1080/00207179.2012.686633⟩
Accès au bibtex
BibTex
titre
Variant Quantifier Elimination
auteur
Hoon Hong, Mohab Safey El Din
article
Journal of Symbolic Computation, Elsevier, 2012, International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), 47 (7), pp.883-901. ⟨10.1016/j.jsc.2011.05.014⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00778365/file/vqe_jsc_final.pdf BibTex
titre
Global optimization of polynomials restricted to a smooth variety using sums of squares
auteur
Aurélien Greuet, Feng Guo, Mohab Safey El Din, Lihong Zhi
article
Journal of Symbolic Computation, Elsevier, 2012, 47 (5), pp.503-518. ⟨10.1016/j.jsc.2011.12.003⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00778239/file/sos_vcg_final.pdf BibTex

Conference papers

titre
Quasi-optimal multiplication of linear differential operators
auteur
Alexandre Benoit, Alin Bostan, Joris van der Hoeven
article
FOCS 2012 - IEEE 53rd Annual Symposium on Foundations of Computer Science, Oct 2012, New Brunswick, United States. pp.524-530, ⟨10.1109/FOCS.2012.57⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00685401/file/BeBoHo12.pdf BibTex
titre
Improving Angular Speed Uniformity by C¹ Piecewise Reparameterization
auteur
Jing Yang, Dongming Wang, Hoon Hong
article
ADG 2012 - 9th International Workshop Automated Deduction in Geometry, Sep 2012, Edinburgh, United Kingdom. pp.33-47, ⟨10.1007/978-3-642-40672-0_3⟩
Accès au bibtex
BibTex
titre
Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge Management
auteur
Dongming Wang
article
ADG 2012 - 9th International Workshop Automated Deduction in Geometry, Sep 2012, Edinburgh, United Kingdom. pp.31-32, ⟨10.1007/978-3-642-40672-0_2⟩
Accès au bibtex
BibTex
titre
Improving Angular Speed Uniformity by Optimal C⁰ Piecewise Reparameterization
auteur
Jing Yang, Dongming Wang, Hoon Hong
article
CASC 2012 - 14th International Workshop on Computer Algebra in Scientific Computing, Sep 2012, Maribor, Slovenia. pp.349-360, ⟨10.1007/978-3-642-32973-9_29⟩
Accès au bibtex
BibTex
titre
Local Generic Position for Root Isolation of Zero-dimensional Triangular Polynomial Systems
auteur
Jia Li, Jinsan Cheng, Elias Tsigaridas
article
CASC 2012 - 14th International Workshop on Computer Algebra in Scientific Computing, Sep 2012, Maribor, Slovenia. pp.186-197, ⟨10.1007/978-3-642-32973-9_16⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00776212/file/lct-lgp.pdf BibTex
titre
Attacking (EC)DSA Given Only an Implicit Hint
auteur
Jean-Charles Faugère, Christopher Goyet, Guénaël Renault
article
Selected Areas in Cryptography, Aug 2012, Windsor, Canada. pp.252-274, ⟨10.1007/978-3-642-35999-6_17⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00777804/file/implicitDSA.pdf BibTex
titre
An All-In-One Approach to Differential Cryptanalysis for Small Block Ciphers
auteur
Martin R. Albrecht, Gregor Leander
article
SAC 2012 - 19th International Conference on Selected Areas in Cryptography, Aug 2012, Windsor, Canada. pp.1-15, ⟨10.1007/978-3-642-35999-6_1⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01113283/file/401.pdf BibTex
titre
Solving Polynomial Systems Globally Invariant Under an Action of the Symmetric Group and Application to the Equilibria of N vortices in the Plane
auteur
Jean-Charles Faugère, Jules Svartz
article
ISSAC '12 - International Symposium on Symbolic and Algebraic Computation, ACM, Jul 2012, Grenoble, France. pp.170-178, ⟨10.1145/2442829.2442856⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00777791/file/FS12.pdf BibTex
titre
Critical Points and Gröbner Bases: the Unmixed Case
auteur
Jean-Charles Faugère, Mohab Safey El Din, Pierre-Jean Spaenlehauer
article
ISSAC 2012 - International Symposium on Symbolic and Algebraic Computation - 2012, Jul 2012, Grenoble, France. pp.162-169, ⟨10.1145/2442829.2442855⟩
Accès au bibtex
https://arxiv.org/pdf/1202.0179 BibTex
titre
The M4RIE library for dense linear algebra over small fields with even characteristic
auteur
Martin R. Albrecht
article
ISSAC '12: Proceedings of the 2012 international symposium on Symbolic and algebraic computation, Jul 2012, Grenoble, France. pp.28 - 34, ⟨10.1145/2442829.2442838⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01113282/file/m4rie-paper.pdf BibTex
titre
Solving Polynomial Systems over Finite Fields: Improved Analysis of the Hybrid Approach
auteur
Luk Bettale, Jean-Charles Faugère, Ludovic Perret
article
ISSAC 2012 - 37th International Symposium on Symbolic and Algebraic Computation, Jul 2012, Grenoble, France. pp.67--74, ⟨10.1145/2442829.2442843⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00776070/file/MAYA2-UPMCINRIA-hybridext_1.0.pdf BibTex
titre
Univariate Real Root Isolation in Multiple Extension Fields
auteur
Adam Strzebonski, Elias Tsigaridas
article
ISSAC 2012 - 37th ACM International Symposium on Symbolic and Algebraic Computation, Jul 2012, Grenoble, France. pp.343-350, ⟨10.1145/2442829.2442878⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00776074/file/st-rsmef.pdf BibTex
titre
On the complexity of the Arora-Ge Algorithm against LWE
auteur
Martin Albrecht, Carlos Cid, Jean-Charles Faugère, Robert Fitzpatrick, Ludovic Perret
article
SCC 2012 -- Third international conference on Symbolic Computation and Cryptography, Jul 2012, Castro Urdiales, Spain. pp.93-99
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00776434/file/SCC_AG_2012.pdf BibTex
titre
On the Complexity of the BKW Algorithm on LWE
auteur
Martin Albrecht, Carlos Cid, Jean-Charles Faugère, Robert Fitzpatrick, Ludovic Perret
article
SCC 2012 -- Third international conference on Symbolic Computation and Cryptography, Jul 2012, Castro Urdiales, Spain. pp.100-107
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00776069/file/final_BKW.pdf BibTex
titre
Using Symmetries and Fast Change of Ordering in the Index Calculus for Elliptic Curves Discrete Logarithm
auteur
Jean-Charles Faugère, Pierrick Gaudry, Louise Huot, Guénaël Renault
article
SCC 2012 - Third international conference on Symbolic Computation and Cryptography, Jul 2012, Castro Urdiales, Spain. pp.113-118
Accès au bibtex
BibTex
titre
Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence (project description)
auteur
Xiaoyu Chen, Wei Li, Jie Luo, Dongming Wang
article
CICM 2012 - 11th International Conference Intelligent Computer Mathematics, Jul 2012, Bremen, Germany. pp.432-437, ⟨10.1007/978-3-642-31374-5_31⟩
Accès au bibtex
BibTex
titre
Improving the Complexity of Index Calculus Algorithms in Elliptic Curves over Binary Fields
auteur
Jean-Charles Faugère, Ludovic Perret, Christophe Petit, Guénaël Renault
article
Eurocrypt 2012 - 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Apr 2012, Cambridge, United Kingdom. pp.27-44, ⟨10.1007/978-3-642-29011-4_4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00776066/file/MAYA2-UPMCINRIA-aaec_1.0.pdf BibTex
titre
Real Solution Formulas of Cubic and Quartic Equations Applied to Generate Dynamic Diagrams with Inequality Constraints
auteur
Ting Zhao, Dongming Wang, Hoon Hong, Philippe Aubry
article
27th Annual ACM Symposium on Applied Computing (SAC 2012), Mar 2012, Trento, Italy. pp.94-101, ⟨10.1145/2245276.2245297⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-00683596/file/zwha11-GCR_revised_1026.pdf BibTex

Book sections

titre
Algebraic and numerical algorithms
auteur
Ioannis Z. Emiris, Victor Y. Pan, Elias P. Tsigaridas
article
Algorithms and Theory of Computation Handbook, CRC Press Inc., pp.1-40, 2012
Accès au bibtex
BibTex
titre
Algebraic Algorithms
auteur
Ioannis Z. Emiris, Victor Y. Pan, Elias Tsigaridas
article
Teofilo Gonzalez. Computing Handbook Set - Computer Science, I, CRC Press, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00776270/file/16et-9Jul.pdf BibTex
titre
Mixed volume and distance geometry techniques for counting Euclidean embeddings of rigid graphs
auteur
Ioannis Z. Emiris, Elias Tsigaridas, Antonios Varvitsiotis
article
C. Lavor and L. Liberti and N. Maculan and A. Mucherino. Distance Geometry: With Applications to Molecular Conformation and Sensor Networks, Springer-Verlag, pp.23-45, 2012, 978-1-4614-5128-0. ⟨10.1007/978-1-4614-5128-0_2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00776252/file/etv-distance.pdf BibTex

Theses

titre
Solving multi-homogeneous and determinantal systems: algorithms, complexity, applications.
auteur
Pierre-Jean Spaenlehauer
article
Symbolic Computation [cs.SC]. Université Pierre et Marie Curie (Univ. Paris 6), 2012. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01110756/file/these_spaenlehauer.pdf BibTex

2011

Journal articles

titre
Polly Cracker, Revisited
auteur
Martin Albrecht, Jean-Charles Faugère, Pooya Farshim, Gottfried Herold, Ludovic Perret
article
Designs, Codes and Cryptography, Springer Verlag, 2011, pp.43
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01112976/file/mq-homomorphic%20%281%29.pdf BibTex

Conference papers

titre
MQQ-SIG - An Ultra-Fast and Provably CMA Resistant Digital Signature Scheme
auteur
Danilo Gligoroski, Rune Steinsmo Ødegard, Rune Erlend Jensen, Ludovic Perret, Jean-Charles Faugère, Svein Johan Knapskog, Smile Markovski
article
Trusted Systems - The Third International Conference on Trusted Systems - INTRUST 2011, Nov 2011, Beijing, China. pp.184-203, ⟨10.1007/978-3-642-32298-3_13⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00778083/file/intrust2011.pdf BibTex