Sites Inria

English version

Equipe de recherche POLSYS

Publications de l'équipe POLSYS

2017

Article dans des revues

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
Univariate real root isolation over a single logarithmic extension of real algebraic numbers
auteur
Adam Strzebonski, Elias Tsigaridas
article
Springer Proceedings in Mathematics & Statistics, Springer, 2017, Applications of Computer Algebra: July 20-23, 2015, Kalamata, Greece, Ilias S. Kotsireas and Edgar Martínez-Moro
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
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
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
https://hal.laas.fr/hal-01393022/file/spectra-more.pdf BibTex
titre
A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets
auteur
Mohab Safey El Din, Eric 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

Communication dans un congrès

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
https://hal.inria.fr/hal-01528377/file/srur.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, 2017, 10.1145/3087604.3087654
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01528392/file/PVPaper.pdf 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
https://hal.inria.fr/hal-01525560/file/bivar-tp.pdf 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]. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01516249/file/rapport.pdf BibTex

Pré-publication, Document de travail

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
https://hal.archives-ouvertes.fr/hal-01538729/file/1706.03941.pdf 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
https://hal.inria.fr/hal-01516708/file/main_part1.pdf BibTex
titre
Separation bounds for polynomial systems
auteur
Ioannis Emiris, Bernard Mourrain, Elias Tsigaridas
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01105276/file/emt-dmm-j.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
submitted. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01556806/file/2017-BCFJRSV-submitted.pdf BibTex

2016

Article dans des revues

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
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, 2016, pp.48. 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
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
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
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 bibtex
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
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

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
https://hal.inria.fr/hal-01287290/file/CDC_MRI.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. Springer, 10146, pp.1-22, 2016, Lecture Notes in Computer Science. 10.1007/978-3-319-54669-8_1
Accès au bibtex
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
https://hal.inria.fr/hal-01388108/file/%5BFinal%5DSubmission6.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. 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
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. 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
https://hal.archives-ouvertes.fr/hal-01399578/file/pararp_proce.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. ACM, pp.215-222, 10.1145/2930889.2930919
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. ACM, pp.103-110, 2016, 10.1145/2930889.2930916
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01307073/file/SingulWater.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, 2016, 10.1145/2930889.2930926
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01314266/file/main_HAL.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. ACM, pp.79-86, 2016, 10.1145/2930889.2930896
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01363545/file/binaryFormDecomposition.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, 2016, 10.1145/2930889.2930914
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01276346/file/groblin.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. 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
https://hal.inria.fr/hal-01312750/file/main.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. ACM, Proceedings of ISSAC 2016, 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. Topics in Cryptology – CT-RSA 2016. 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

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
https://hal.archives-ouvertes.fr/hal-01399573/file/article_Kahn_final.pdf 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
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

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
https://tel.archives-ouvertes.fr/tel-01404406/file/2016PA066355a.pdf BibTex

Pré-publication, Document de travail

titre
Bit complexity for multi-homogeneous polynomial system solving Application to polynomial minimization
auteur
Mohab Safey El Din, Eric Schost
article
2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01319729/file/bit-multi-homo.pdf BibTex
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

Article dans des revues

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

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
https://hal.archives-ouvertes.fr/hal-01399580/file/Cardis2015_CDP_Enhancing_Dimensionality_Reduction_SCA.pdf 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
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
http://hal.upmc.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. ACM, pp.37-44, 2015, 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
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
https://hal.inria.fr/hal-01237861/file/BMS-HAL.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. 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
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
https://hal.archives-ouvertes.fr/hal-01114378/file/hankel.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
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
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
https://hal.inria.fr/hal-01248389/file/dmm-cond.pdf 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
BibTex

Pré-publication, Document de travail

titre
Real root finding for low rank linear matrices
auteur
Didier Henrion, Simone Naldi, Mohab Safey El Din
article
Rapport LAAS n° 15731. 2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01159210/file/lowrank.pdf BibTex
titre
Mobile 4R and 5R loops
auteur
Daniel Lazard
article
Soumis à Mechanism and Machine Theory. 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
titre
Univariate real root isolation in an extension field and applications
auteur
Adam Strzebonski, Elias Tsigaridas
article
2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248390/file/st-rsef-j.pdf BibTex

2014

Article dans des revues

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

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
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. Springer, pp.437-451, 2014, Computer Mathematics. 10.1007/978-3-662-43799-5_29
Accès au bibtex
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
https://hal.inria.fr/hal-00980591/file/pt-struct-snc.pdf 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
https://hal.inria.fr/hal-00980584/file/pt-cr-snc.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. 2014, 10.1145/2608628.2608663
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00953501/file/GroebnerCreux.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. 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
https://hal.inria.fr/hal-01064551/file/p170-faugere.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. ACM Press, pp.67-74, 2014, 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, 2014
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. 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
https://hal.inria.fr/hal-00935050/file/Semaev2torsion.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. Springer, 2014
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. Springer, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00925187/file/bkw-small-secret.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
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
https://hal.inria.fr/hal-00926902/file/PKC14_Copp.pdf BibTex

Direction d'ouvrage, 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

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
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
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
Under submission. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00992389/file/folded_it.pdf BibTex

2013

Article dans des revues

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. http://dx.doi.org/10.1109/TIT.2013.2272036. 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
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
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
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
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
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
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
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
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
Formalization and Specification of Geometric Knowledge Objects
auteur
Xiaoyu Chen, Dongming Wang
article
Mathematics in Computer Science, Springer, 2013, 7 (4), 10.1007/s11786-013-0167-4
Accès au bibtex
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
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
https://hal.inria.fr/hal-00815174/file/rational-lmi-6.pdf 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
https://hal.inria.fr/hal-00780388/file/issac53p-faugere.pdf 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
https://hal.inria.fr/hal-00922718/file/abstract-safeyeldin.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. ACM, 2013, 10.1145/2465506.2465938
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00816214/file/pt-refine.pdf 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
https://hal.inria.fr/hal-00930273/file/sbff.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. 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
https://hal.inria.fr/hal-00819337/file/FS13.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
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
https://hal.inria.fr/hal-00777788/file/CA-CRT-RSA.pdf 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
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

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
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
Functional decomposition; Algebraic system resolution; Multihomogeneous polynomials; Invariants; .. 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
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
https://hal.inria.fr/hal-00808708/file/rd-07.pdf BibTex

2012

Article dans des revues

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. http://www.sciencedirect.com/science/article/pii/S074771711200003X. 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. http://www.sciencedirect.com/science/article/pii/S1071579711000797. 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
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
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
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
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
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

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 bibtex
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, 7993, pp.33-47, 2013, Lecture Notes in Computer Science. 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
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
BibTex
titre
Improving Angular Speed Uniformity by Optimal C⁰ Piecewise Reparameterization
auteur
Jing Yang, Dongming Wang, Hoon Hong
article
14th International Workshop on Computer Algebra in Scientific Computing, Sep 2012, Maribor, Slovenia. Springer, 7442, pp.349-360, 2012, Lecture Notes in Computer Science. 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
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
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
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
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. 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
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, Jul 2012, Grenoble, France. ACM, pp.170-178, 2012, 10.1145/2442829.2442856
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00777791/file/FS12.pdf 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
https://hal.inria.fr/hal-01113282/file/m4rie-paper.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. ACM, pp.162-169, 2012, 10.1145/2442829.2442855
Accès au bibtex
https://arxiv.org/pdf/1202.0179 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
https://hal.inria.fr/hal-00776074/file/st-rsmef.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. ACM, pp.67--74, 2012, 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
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
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
https://hal.inria.fr/hal-00776069/file/final_BKW.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, 2012, http://wmc2012.unican.es/SCC_WMC_2012.pdf
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00776434/file/SCC_AG_2012.pdf 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
Intelligent Computer Mathematics, Jul 2012, Bremen, Germany. Springer, 7362, pp.432-437, 2012, Lecture Notes In Computer Science. 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. 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
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, 2012, 10.1145/2245276.2245297
Accès au texte intégral et bibtex
http://hal.upmc.fr/hal-00683596/file/zwha11-GCR_revised_1026.pdf BibTex

Chapitre d'ouvrage

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

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
https://tel.archives-ouvertes.fr/tel-01110756/file/these_spaenlehauer.pdf BibTex

Pré-publication, Document de travail

titre
Quasi-optimal multiplication of linear differential operators
auteur
Alexandre Benoit, Alin Bostan, Joris Van Der Hoeven
article
11 pages. 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00685401/file/BeBoHo12.pdf BibTex

2011

Article dans des revues

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

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
https://hal.inria.fr/hal-00778083/file/intrust2011.pdf BibTex

Suivez Inria tout au long de son 50e anniversaire et au-delà !