- Présentation
- Publications HAL
- Rapports d'activité
Equipe de recherche POLSYS
Publications de l'équipe POLSYS
2018
Article dans une revue
- 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
-
- 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
-
Communication dans un congrès
- 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., 2018
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- On Exact Polya and Putinar's Representations
- auteur
- Victor Magron, Mohab Safey El Din
- article
- 19 pages, 4 algorithms, 3 tables. 2018
- Accès au 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
-
- 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
-
- titre
- On the maximal number of real embeddings of spatial minimally rigid graphs
- auteur
- Evangelos Bartzos, Ioannis Emiris, Jan Legerský, Elias Tsigaridas
- article
- 2018
- Accès au texte intégral et bibtex
-
- titre
- Optimal data fitting: a moment approach
- auteur
- Jean-Bernard Lasserre, Victor Magron
- article
- Rapport LAAS n° 18031. 21 pages, 5 figures. 2018
- Accès au bibtex
-
2017
Article dans une revue
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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, In press, pp.1-14
- Accès au texte intégral et 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
-
- 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 and Francis, 2017
- Accès au texte intégral et 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
-
- 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, pp.1-32. 〈10.1016/j.jsc.2017.08.001〉
- Accès au texte intégral et 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
-
Communication dans un congrès
- 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
-
- titre
- Private Multiplication over Finite Fields
- auteur
- Sonia Belaid, Fabrice Benhamouda, Alain Passelègue, Emmanuel Prouff, Adrian Thillard, Damien Vergnaud
- article
- Jonathan Katz, Hovav Shacham. Advances in Cryptology - CRYPTO 2017, Aug 2017, Santa Barbara, United States. Springer, 10403, pp.397-426, Lecture Notes in Computer Science 〈10.1007/978-3-319-63697-9_14〉
- Accès au 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, 2017, 〈10.1145/3087604.3087654〉
- Accès au texte intégral et 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, Jul 2017, Kaiserslautern, Germany. pp.8, 2017, 〈10.1145/3087604.3087646〉
- Accès au texte intégral et 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, 2017, 〈10.1145/3087604.3087653〉
- Accès au texte intégral et bibtex
-
Brevet
- 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
-
Rapport
- titre
- DualModeMS: A Dual Mode for Multivariate-based Signature 20170918 draft
- 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
-
- titre
- CFPKM : A Key Encapsulation Mechanism based on Solving System of non-linear multivariate Polynomials 20171129
- 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
-
- 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
-
Pré-publication, Document de travail
- titre
- Matrix formulae for Resultants and Discriminants of Bivariate Tensor-product Polynomials
- auteur
- Laurent Busé, Angelos Mantzaflaris, Elias Tsigaridas
- article
- 2017
- Accès au texte intégral et bibtex
-
- titre
- Real root finding for low rank linear matrices
- auteur
- Didier Henrion, Simone Naldi, Mohab Safey El Din
- article
- Rapport LAAS n° 15731. 2017
- Accès au texte intégral et bibtex
-
- titre
- Algorithms for Weighted Sums of Squares Decomposition of Non-negative Univariate Polynomials
- auteur
- Victor Magron, Mohab Safey El Din, Markus Schweighofer
- article
- 2017
- Accès au texte intégral et bibtex
-
- 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
-
- titre
- Separation bounds for polynomial systems
- auteur
- Ioannis Emiris, Bernard Mourrain, Elias Tsigaridas
- article
- 2017
- Accès au texte intégral et 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
- Rapport LAAS n° 17216. submitted. 2017
- Accès au texte intégral et bibtex
-
2016
Article dans une revue
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
Communication dans un congrès
- 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
- Accès au texte intégral et 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. Springer, 10146, pp.1-22, 2016, Lecture Notes in Computer Science. 〈10.1007/978-3-319-54669-8_1〉
- Accès au 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. ACM, Proceedings of the 2nd International Workshop on Software PROtection, 2016, 〈10.1145/2995306.2995310〉
- Accès au texte intégral et 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. Springer, Lecture Notes in Computer Science, 9813, pp.498 - 514, 2016, Cryptographic Hardware and Embedded Systems – CHES 2016. 〈10.1007/978-3-662-53140-2_24〉
- Accès au texte intégral et 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. Springer, Lecture Notes in Computer Science, 9813, pp.23 - 39, 2016, Cryptographic Hardware and Embedded Systems – CHES 2016. 〈http://www.chesworkshop.org/ches2016/〉. 〈10.1007/978-3-662-53140-2_2〉
- Accès au texte intégral et 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. ACM, pp.103-110, 2016, 〈10.1145/2930889.2930916〉
- Accès au texte intégral et 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. ACM, ISSAC '16 - Proc. ACM International Symposium on Symbolic and Algebraic Computation, pp.215-222, 〈10.1145/2930889.2930919〉
- Accès au 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. ACM, pp.79-86, 2016, 〈10.1145/2930889.2930896〉
- Accès au texte intégral et 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. Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, pp.183--190, 2016, 〈10.1145/2930889.2930929〉
- Accès au texte intégral et 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. ACM, Proceedings of ISSAC 2016, pp.223-230, 〈10.1145/2930889.2930927〉
- Accès au texte intégral et 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, 2016, 〈10.1145/2930889.2930926〉
- Accès au texte intégral et 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, 2016, 〈10.1145/2930889.2930914〉
- Accès au texte intégral et 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
-
- 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. Topics in Cryptology – CT-RSA 2016. 〈10.1007/978-3-319-29485-8_26〉
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- 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
-
HDR
- 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
-
- 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
-
Mémoire d'étudiant
- 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
-
Thèse
- 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
-
Pré-publication, Document de travail
- 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
-
2015
Article dans une revue
- 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
-
- 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
-
- 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
-
- 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
-
Communication dans un congrès
- 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. Lecture Notes in Computer Science, 9514, pp.15 - 33, 2016, Smart Card Research and Advanced Applications 14th International Conference, CARDIS 2015, Bochum, Germany, November 4-6, 2015. Revised Selected Papers. 〈10.1007/978-3-319-31271-2_2〉
- Accès au texte intégral et bibtex
-
- 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. Springer, 9328, pp.20-32, 2015, Lecture Notes in Computer Science. 〈10.1007/978-3-319-24537-9_3〉
- Accès au bibtex
-
- titre
- Improved Sieving on Algebraic Curves
- auteur
- Vanessa Vitse, Alexandre Wallet
- article
- Kristin Lauter; Francisco Rodríguez-Henríquez LATINCRYPT 2015, 4th International Conference on Cryptology and Information Security in Latin America, Aug 2015, Guadalajara, Mexico. Progress in Cryptology -- LATINCRYPT 2015, 9230, pp.295-307, 2015, Lecture Notes in Computer Science. 〈10.1007/978-3-319-22174-8_16〉
- Accès au texte intégral et bibtex
-
- titre
- Univariate real root isolation over a single logarithmic extension of real algebraic numbers
- auteur
- Adam Strzebonski, Elias Tsigaridas
- article
- Ilias S. Kotsireas; Edgar Martínez-Moro. ACA 2015 - Applications of Computer Algebra, Jul 2015, Kalamata, Greece. Springer, Applications of Computer Algebra: July 20-23, 2015, Kalamata, Greece, 198, pp.425-445, 2017, Springer Proceedings in Mathematics & Statistics. 〈10.1007/978-3-319-56932-1_27〉
- Accès au texte intégral et 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, 2015, Proceedings of the 40th International Symposium on Symbolic and Algebraic Computation. 〈10.1145/2755996.2756673〉
- Accès au texte intégral et 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. ACM, pp.37-44, 2015, 〈10.1145/2755996.2756670〉
- Accès au texte intégral et 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. ACM, pp.221-228, 2015, 〈10.1145/2755996.2756667〉
- Accès au texte intégral et 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. ACM, Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, pp.205-212, 2015, 〈10.1145/2755996.2756666〉
- Accès au 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
-
- 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
-
- titre
- Bounds for the Condition Number of Polynomials Systems with Integer Coefficients
- auteur
- Aaron Herman, Elias Tsigaridas
- article
- Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov. CASC, 2015, Aachen, Germany. 9301, pp.210--219, 2015, 〈10.1007/978-3-319-24021-3_16〉
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- 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
-
Pré-publication, Document de travail
- titre
- Mobile 4R and 5R loops
- auteur
- Daniel Lazard
- article
- Soumis à Mechanism and Machine Theory. 2015
- Accès au texte intégral et 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
-
2014
Article dans une revue
- 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
-
- 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
-
- 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
-
- 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
-
Communication dans un congrès
- 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. Springer, 8873, pp.21-41, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-662-45611-8_2〉
- Accès au texte intégral et 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. Springer, pp.437-451, 2014, Computer Mathematics. 〈10.1007/978-3-662-43799-5_29〉
- Accès au 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. Proceedings of the 2014 Symposium on Symbolic-Numeric Computation, pp.21-30, 〈http://symbolic-numeric-computation.org/snc-2014/〉. 〈10.1145/2631948.2631954〉
- Accès au texte intégral et 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. ACM, Proceedings of the 2014 Symposium on Symbolic-Numeric Computation, pp.132-134, 〈http://symbolic-numeric-computation.org/snc-2014/〉. 〈10.1145/2631948.2631973〉
- Accès au texte intégral et 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. ACM, ISSAC '14 - Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation, pp.170--177, 2014, 〈10.1145/2608628.2608669〉
- Accès au texte intégral et 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. 2014, 〈10.1145/2608628.2608663〉
- Accès au texte intégral et 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. ACM Press, pp.67-74, 2014, 〈10.1145/2608628.2608662〉
- Accès au texte intégral et 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, 2014
- Accès au 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. Springer, 8441, pp.40-57, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-642-55220-5_3〉
- Accès au texte intégral et 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. Springer, 2014
- Accès au texte intégral et 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. Springer, 2014
- Accès au texte intégral et 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
- Hugo Krawczyk. PKC 2014 - 17th IACR International Conference on Practice and Theory of Public-Key Cryptography, Mar 2014, Buenos Aires, Argentina. Springer, 8383, pp.185-202, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-642-54631-0_11〉
- Accès au texte intégral et bibtex
-
Direction d'ouvrage, Proceedings, Dossier
- 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
-
Pré-publication, Document de travail
- 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
-
- 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
-
2013
Article dans une revue
- 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
-
- 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
-
- 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
-
- 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. 〈http://dx.doi.org/10.1109/TIT.2013.2272036〉. 〈10.1109/TIT.2013.2272036〉
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
Communication dans un congrès
- 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. Springer International Publishing, 8365, pp.45-61, Lecture Notes in Computer Science. 〈10.1007/978-3-319-04873-4_3〉
- Accès au 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. ACM, 2013, 〈10.1145/2465506.2465938〉
- Accès au texte intégral et bibtex
-
- titre
- Signature Rewriting in Gröbner Basis Computation
- auteur
- Christian Eder, Bjarke Hammersholt Roune
- article
- Kauers, Manuel. ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. ACM, pp.331-338, 2013, 〈10.1145/2465506.2465522〉
- Accès au texte intégral et bibtex
-
- titre
- Critical Point Methods and Effective Real Algebraic Geometry: New Results and Trends
- auteur
- Mohab Safey El Din
- article
- Manuel Kauers. ISSAC 2013 - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. pp.5-6, 2013, 〈10.1145/2465506.2465928〉
- Accès au texte intégral et 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. 2013
- Accès au texte intégral et 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. ACM, ISSAC '13 : Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation, pp.189-196, 2013, 〈10.1145/2465506.2465943〉
- Accès au texte intégral et 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. ACM, Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation, ISSAC '13, pp.347-354, 2013, 〈10.1145/2465506.2465944〉
- Accès au texte intégral et 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
- Kaoru Kurosawa; Goichiro Hanaoka. PKC 2013 - Public-Key Cryptography, Feb 2013, Nara, Japan. Springer, 7778, pp.198-215, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-36362-7_13〉
- Accès au texte intégral et bibtex
-
Thèse
- 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
-
- 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
-
- 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
-
Pré-publication, Document de travail
- titre
- Polynomial Systems Solving by Fast Linear Algebra
- auteur
- Jean-Charles Faugère, Pierrick Gaudry, Louise Huot, Guénaël Renault
- article
- 27 pages. 2013
- Accès au texte intégral et bibtex
-
- titre
- Decomposition of multihomogeneous polynomials: minimal number of variables
- auteur
- Jérémy Berthomieu
- article
- Functional decomposition; Algebraic system resolution; Multihomogeneous polynomials; Invariants; .. 2013
- Accès au texte intégral et bibtex
-
- titre
- A probabilistic algorithm to compute the real dimension of a semi-algebraic set
- auteur
- Mohab Safey El Din, Elias Tsigaridas
- article
- Several typos fixed in Sections 4 and 5. There is an error in Section 5 and thus the complexity r.. 2013
- Accès au texte intégral et bibtex
-
2012
Article dans une revue
- 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
-
- 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
-
- 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
-
- 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
-
- 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. 〈http://www.sciencedirect.com/science/article/pii/S074771711200003X〉. 〈10.1016/j.jsc.2012.01.002〉
- Accès au texte intégral et 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
-
- 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. 〈http://www.sciencedirect.com/science/article/pii/S1071579711000797〉. 〈10.1016/j.ffa.2011.09.001〉
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
- 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
-
Communication dans un congrès
- 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. IEEE, pp.524-530, 2012, 〈10.1109/FOCS.2012.57〉
- Accès au texte intégral et bibtex
-
- titre
- Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge Management
- auteur
- Dongming Wang
- article
- Tetsuo Ida; Jacques Fleuriot. ADG 2012 - 9th International Workshop Automated Deduction in Geometry, Sep 2012, Edinburgh, United Kingdom. Springer, 7993, pp.31-32, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-40672-0_2〉
- Accès au bibtex
-
- titre
- Improving Angular Speed Uniformity by C¹ Piecewise Reparameterization
- auteur
- Jing Yang, Dongming Wang, Hoon Hong
- article
- Tetsuo Ida; Jacques Fleuriot. ADG 2012 - 9th International Workshop Automated Deduction in Geometry, Sep 2012, Edinburgh, United Kingdom. Springer, ADG 2012: Automated Deduction in Geometry, 7993, pp.33-47, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-40672-0_3〉
- Accès au 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. Springer, CASC 2012: Computer Algebra in Scientific Computing, 7442, pp.349-360, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-32973-9_29〉
- Accès au bibtex
-
- titre
- Local Generic Position for Root Isolation of Zero-dimensional Triangular Polynomial Systems
- auteur
- Jia Li, Jinsan Cheng, Elias Tsigaridas
- article
- W. Koepf and E.Vorozhtsov. CASC 2012 - 14th International Workshop on Computer Algebra in Scientific Computing, Sep 2012, Maribor, Slovenia. Springer, 7442, pp.186-197, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-32973-9_16〉
- Accès au texte intégral et bibtex
-
- titre
- Attacking (EC)DSA Given Only an Implicit Hint
- auteur
- Jean-Charles Faugère, Christopher Goyet, Guénaël Renault
- article
- Knudsen, Lars R. and Wu, Huapeng. Selected Areas in Cryptography, Aug 2012, Windsor, Canada. Springer, 7707, pp.252-274, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-35999-6_17〉
- Accès au texte intégral et 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. Springer, 7707, pp.1-15, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-35999-6_1〉
- Accès au texte intégral et 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. ACM, pp.67--74, 2012, 〈10.1145/2442829.2442843〉
- Accès au texte intégral et 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. ACM, pp.343-350, 2012, 〈10.1145/2442829.2442878〉
- Accès au texte intégral et 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. ACM, pp.162-169, 2012, 〈10.1145/2442829.2442855〉
- Accès au 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, 2012, 〈10.1145/2442829.2442838〉
- Accès au texte intégral et 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, Jul 2012, Grenoble, France. ACM, pp.170-178, 2012, 〈10.1145/2442829.2442856〉
- Accès au texte intégral et 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, 〈http://wmc2012.unican.es/SCC_WMC_2012.pdf〉
- Accès au texte intégral et 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, 2012, 〈http://wmc2012.unican.es/SCC_WMC_2012.pdf〉
- Accès au texte intégral et 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, 2012
- Accès au 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. Springer, Lecture Notes In Computer Science, 7362, pp.432-437, 2012, CICM 2012: Intelligent Computer Mathematics. 〈10.1007/978-3-642-31374-5_31〉
- Accès au 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. Springer, 7237, pp.27-44, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-29011-4_4〉
- Accès au texte intégral et 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, 2012, 〈10.1145/2245276.2245297〉
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- 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
-
- 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
-
- 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
-
Thèse
- 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
-
2011
Article dans une revue
- 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
-
Communication dans un congrès
- 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
- Moti Y. and Liqun C. and Liehuang Z. Trusted Systems - The Third International Conference on Trusted Systems - INTRUST 2011, Nov 2011, Beijing, China. Springer Verlag, 7222, pp.184-203, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-32298-3_13〉
- Accès au texte intégral et bibtex
-
Archives
En savoir plus
Retrouvez toutes les publications scientifiques de nos équipes de recherche sur HAL Inria