Publications de l'équipe POLSYS

2019

Article dans une revue

titre

SPECTRA – a Maple library for solving linear matrix inequalities in exact arithmetic

auteur

Didier Henrion, Simone Naldi, Mohab Safey El Din

article

Optimization Methods and Software, Taylor & Francis, 2019, 34 (1), pp.62-78. <10.1080/10556788.2017.1341505>

Accès au texte intégral et bibtex

Pré-publication, Document de travail

titre

Fast Quantum Algorithm for Solving Multivariate Quadratic Equations

auteur

Jean-Charles Faugère, Kelsey Horan, Delaram Kahrobaei, Marc Kaplan, Elham Kashefi, Ludovic Perret

article

2019

Accès au bibtex

titre

Gröbner Basis over Semigroup Algebras: Algorithms and Applications for Sparse Polynomial Systems

auteur

Matías Bender, Jean-Charles Faugère, Elias Tsigaridas

article

2019

Accès au texte intégral et bibtex

titre

Computing the topology of a planar or space hyperelliptic curve

auteur

Juan Alcázar, Jorge Caravantes, Gema Diaz-Toca, Elias Tsigaridas

article

2019

Accès au texte intégral et bibtex

2018

Article dans une revue

titre

Optimal data fitting: a moment approach

auteur

Jean-Bernard Lasserre, Victor Magron

article

SIAM Journal on Optimization, Society for Industrial and Applied Mathematics, 2018, 28 (4), pp.3127-3144. <10.1137/18M1170108>

Accès au bibtex

titre

Interval Enclosures of Upper Bounds of Roundoff Errors using Semidefinite Programming

auteur

Victor Magron

article

ACM Transactions on Mathematical Software, Association for Computing Machinery, 2018, 44 (4), pp.41:1--41:18. <10.1145/3206430>

Accès au bibtex

titre

RealCertify: a Maple package for certifying non-negativity

auteur

Victor Magron, Mohab Safey El Din

article

ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2018, 52 (2), pp.34-37. <10.1145/3282678.3282681>

Accès au bibtex

titre

Linear Repairing Codes and Side-Channel Attacks

auteur

Hervé Chabanne, Houssem Maghrebi, Emmanuel Prouff

article

IACR Transactions on Cryptographic Hardware and Embedded Systems, IACR, 2018, 2018 (1), pp.118-141. <10.13154/tches.v2018.i1.118-141>

Accès au texte intégral et bibtex

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

Bit complexity for multi-homogeneous polynomial system solving Application to polynomial minimization

auteur

Mohab Safey El Din, Éric Schost

article

Journal of Symbolic Computation, Elsevier, In press, 87, pp.176-206. <10.1016/j.jsc.2017.08.001>

Accès au texte intégral et bibtex

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

titre

Algorithms for Weighted Sums of Squares Decomposition of Non-negative Univariate Polynomials

auteur

Victor Magron, Mohab Safey El Din, Markus Schweighofer

article

Journal of Symbolic Computation, Elsevier, In press

Accès au texte intégral et bibtex

titre

The Complexity of Subdivision for Diameter-Distance Tests

auteur

Michael Burr, Shuhong Gao, Elias Tsigaridas

article

Journal of Symbolic Computation, Elsevier, In press

Accès au texte intégral et bibtex

titre

Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations

auteur

Victor Magron, Alexandre Rocca, Thao Dang

article

IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, In press, <10.1109/TC.2018.2851235>

Accès au bibtex

titre

A lower bound on the positive semidefinite rank of convex bodies

auteur

Hamza Fawzi, Mohab Safey El Din

article

SIAM Journal on Applied Algebra and Geometry, SIAM, 2018, 2 (1), pp.126-139. <10.1137/17M1142570>

Accès au texte intégral et bibtex

Communication dans un congrès

titre

Quadratic time algorithm for inversion of binary permutation polynomials

auteur

Lucas Barthelemy, Delaram Kahrobaei, Guénaël Renault, Zoran Šunić

article

James H. Davenport; Manuel Kauers; George Labahn; Josef Urban. ICMS 2018 - International Congress on Mathematical Software, Jul 2018, South Bend, IN, United States. Springer, 10931, pp.19-27, 2018, Lecture Notes in Computer Science. <10.1007/978-3-319-96418-8_3>

Accès au texte intégral et bibtex

titre

Exact algorithms for semidefinite programs with degenerate feasible set

auteur

Didier Henrion, Simone Naldi, Mohab Safey El Din

article

ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York City, United States. 17p., 2018

Accès au texte intégral et bibtex

titre

Towards Mixed Gröbner Basis Algorithms: the Multihomogeneous and Sparse Case

auteur

Matías Bender, Jean-Charles Faugère, Elias Tsigaridas

article

ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. 2018, <10.1145/3208976.3209018>

Accès au texte intégral et bibtex

titre

A Polynomial-Division-Based Algorithm for Computing Linear Recurrence Relations

auteur

Jérémy Berthomieu, Jean-Charles Faugère

article

ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. <10.1145/3208976.3209017>

Accès au texte intégral et bibtex

titre

Bilinear systems with two supports: Koszul resultant matrices, eigenvalues, and eigenvectors

auteur

Matías Bender, Jean-Charles Faugère, Angelos Mantzaflaris, Elias Tsigaridas

article

ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. 2018, <10.1145/3208976.3209011>

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

Carlos Arreche. ISSAC '18 International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. ACM, ISSAC '18 International Symposium on Symbolic and Algebraic Computation, pp.55-62, 2018, . <10.1145/3208976.3208994>

Accès au texte intégral et bibtex

titre

Real root finding for equivariant semi-algebraic systems

auteur

Cordian Riener, Mohab Safey El Din

article

ISSAC 20018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New-York, United States

Accès au texte intégral et bibtex

titre

On Exact Polya and Putinar's Representations

auteur

Victor Magron, Mohab Safey El Din

article

ISSAC '18 International Symposium on Symbolic and Algebraic Computation, Jul 2018, New-York, United States. ACM, Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation, pp.279-286, 2018, <10.1145/3208976.3208986>

Accès au bibtex

titre

On the complexity of computing real radicals of polynomial systems

auteur

Mohab Safey El Din, Zhi-Hong Yang, Lihong Zhi

article

ISSAC '18 - The 2018 ACM on International Symposium on Symbolic and Algebraic Computation, Jul 2018, New-York, United States. ACM, pp.351-358, <10.1145/3208976.3209002>

Accès au texte intégral et bibtex

titre

On the Use of Independent Component Analysis to Denoise Side-Channel Measurements

auteur

Houssem Maghrebi, Emmanuel Prouff

article

COSADE 2018 - 9th International Workshop on Constructive Side-Channel Analysis and Secure Design, Apr 2018, Singapore, Singapore. Springer, 10815, pp.61-81, 2018, Lecture Notes in Computer Science. <10.1007/978-3-319-89641-0_4>

Accès au texte intégral et bibtex

Pré-publication, Document de travail

titre

On Exact Polya, Hilbert-Artin and Putinar's Representations

auteur

Victor Magron, Mohab Safey El Din

article

29 pages, 4 tables, extended version of the paper from ISSAC'18 conference (available at arXiv::1.. 2018

Accès au bibtex

titre

A Polynomial-Division-Based Algorithm for Computing Linear Recurrence Relations

auteur

Jérémy Berthomieu, Jean-Charles Faugère

article

2018

Accès au texte intégral et bibtex

titre

Semidefinite Approximations of Invariant Measures for Polynomial Systems

auteur

Victor Magron, Marcelo Forets, Didier Henrion

article

Rapport LAAS n° 18183. 28 pages, 14 figures. 2018

Accès au bibtex

titre

In-depth comparison of the Berlekamp–Massey–Sakata and the Scalar-FGLM algorithms: the adaptive variants

auteur

Jérémy Berthomieu, Jean-Charles Faugère

article

2018

Accès au texte intégral et bibtex

titre

A nearly optimal algorithm to decompose binary forms

auteur

Matías Bender, Jean-Charles Faugère, Ludovic Perret, Elias Tsigaridas

article

In submission. 2018

Accès au texte intégral et 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

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

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

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

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 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

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

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

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

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

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

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

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

titre

DualModeMS: A Dual Mode for Multivariate-based Signature

auteur

Jean-Charles Faugère, Ludovic Perret, Jocelyn Ryckeghem

article

[Research Report] UPMC - Paris 6 Sorbonne Universités; INRIA Paris; CNRS. 2017

Accès au bibtex

titre

CFPKM : A Key Encapsulation Mechanism based on Solving System of non-linear multivariate Polynomials

auteur

Olive Chakraborty, Jean-Charles Faugère, Ludovic Perret

article

[Research Report] UPMC - Paris 6 Sorbonne Universités; INRIA Paris; CNRS. 2017

Accès au bibtex

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

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

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

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

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

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

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

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. pp.1608-1613, <10.1109/CDC.2016.7798495>

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

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. . <10.1007/978-3-662-53140-2_2>

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

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

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

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

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

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

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.

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

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

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

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

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, . <10.1145/2631948.2631973>

Accès au texte intégral et 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, . <10.1145/2631948.2631954>

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

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

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

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

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

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. . <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

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

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

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

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

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

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

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

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

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

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 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

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

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

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

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

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

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. . <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. . <10.1016/j.ffa.2011.09.001>

Accès au texte intégral et 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

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

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.; 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 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

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

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

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

On the Complexity of the BKW Algorithm on LWE

auteur

Martin Albrecht, Carlos Cid, Jean-Charles Faugère, Robert Fitzpatrick, Ludovic Perret

article

SCC 2012 -- Third international conference on Symbolic Computation and Cryptography, Jul 2012, Castro Urdiales, Spain. pp.100-107,

Accès au texte intégral et bibtex

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

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,

Accès au texte intégral et 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

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 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

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