Publications de l'équipe POLSYS

2017

Article dans des revues

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

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

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

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

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

titre

The Complexity of an Adaptive Subdivision Method for Approximating Real Curves

auteur

Michael Burr, Shuhong Gao, Elias Tsigaridas

article

ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.8, 2017, 10.1145/3087604.3087654

Accès au texte intégral et bibtex

titre

Resultants and Discriminants for Bivariate Tensor-product Polynomials

auteur

Angelos Mantzaflaris, Elias Tsigaridas

article

ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.8, 2017, 10.1145/3087604.3087646

Accès au texte intégral et bibtex

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

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

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

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

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

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 bibtex

titre

Redefining the transparency order

auteur

Kaushik Chakraborty, Sumanta Sarkar, Subhamoy Maitra, Bodhisatwa Mazumdar, Debdeep Mukhopadhyay, Emmanuel Prouff

article

Designs, Codes and Cryptography, Springer Verlag, 2016, 10.1007/s10623-016-0250-3

Accès au texte intégral et bibtex

titre

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

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

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

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

Communication dans un congrès

titre

Optimal Control of an Ensemble of Bloch Equations with Applications in MRI

auteur

Bernard Bonnard, Alain Jacquemard, Jérémy Rouot

article

55th IEEE Conference on Decision and Control - CDC, Dec 2016, Las Vegas, United States

Accès au texte intégral et bibtex

titre

Kernel Discriminant Analysis for Information Extraction in the Presence of Masking

auteur

Eleonora Cagli, Cécile Dumas, Emmanuel Prouff

article

CARDIS 2016 - 15th International Conference on Smart Card Research and Advanced Applications, Nov 2016, Cannes, France. Springer, 10146, pp.1-22, 2016, Lecture Notes in Computer Science. 10.1007/978-3-319-54669-8_1

Accès au bibtex

titre

Binary Permutation Polynomial Inversion and Application to Obfuscation Techniques

auteur

Lucas Barthelemy, Ninon Eyrolles, Guénaël Renault, Raphaël Roblin

article

2nd International Workshop on Software PROtection, Oct 2016, Vienna, Austria. ACM, Proceedings of the 2nd International Workshop on Software PROtection, 2016, 10.1145/2995306.2995310

Accès au texte intégral et bibtex

titre

Horizontal Side-Channel Attacks and Countermeasures on the ISW Masking Scheme

auteur

Alberto Battistello, Jean-Sébastien Coron, Emmanuel Prouff, Rina Zeitoun

article

18th Conference on Cryptographic Hardware and Embedded Systems (CHES 2016), Aug 2016, Santa Barbara, CA, United States. Springer, Lecture Notes in Computer Science, 9813, pp.23 - 39, 2016, Cryptographic Hardware and Embedded Systems – CHES 2016. http://www.chesworkshop.org/ches2016/. 10.1007/978-3-662-53140-2_2

Accès au texte intégral et bibtex

titre

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

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

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, 10.1145/2930889.2930916

Accès au texte intégral et bibtex

titre

Guessing Linear Recurrence Relations of Sequence Tuples and P-recursive Sequences with Linear Algebra

auteur

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

article

41st International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, ON, Canada. pp.95-102, 2016, 10.1145/2930889.2930926

Accès au texte intégral et bibtex

titre

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

Critical Point Computations on Smooth Varieties: Degree and Complexity bounds

auteur

Mohab Safey El Din, Pierre-Jean Spaenlehauer

article

International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2016, Waterloo, Canada. Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, pp.183--190, 2016, 10.1145/2930889.2930929

Accès au texte intégral et bibtex

titre

Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems

auteur

Jean-Charles Faugère, Pierre-Jean Spaenlehauer, Jules Svartz

article

International Symposium on Symbolic and Algebraic Computation (ISSAC 2016), Jul 2016, Waterloo, Canada. ACM, Proceedings of ISSAC 2016, pp.223-230, 10.1145/2930889.2930927

Accès au texte intégral et bibtex

titre

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

Thèse

titre

Regularisation of Gröbner basis computations for weighted and determinantal systems, and application to medical imagery

auteur

Thibaut Verron

article

Data Structures and Algorithms [cs.DS]. Université Pierre et Marie Curie - Paris VI, 2016. English. NNT : 2016PA066355

Accès au texte intégral et bibtex

Pré-publication, Document de travail

titre

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

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

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

titre

Accelerated Approximation of the Complex Roots and Factors of a Univariate Polynomial

auteur

Victor Y. Pan, Elias Tsigaridas

article

Theoretical Computer Science, Elsevier, 2015

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

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

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

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

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

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

Algebraic Cryptanalysis of a Quantum Money Scheme The Noise-Free Case

auteur

Marta Conde Pena, Jean-Charles Faugère, Ludovic Perret

article

IACR International Conference on Practice and Theory of Public-Key Cryptography (PKC'15), Mar 2015, Maryland, United States

Accès au texte intégral et bibtex

titre

A Polynomial-Time Key-Recovery Attack on MQQ Cryptosystems

auteur

Jean-Charles Faugère, Danilo Gligoroski, Ludovic Perret, Samardjiska Simona, Enrico Thomae

article

IACR International Conference on Practice and Theory of Public-Key Cryptography (PKC'15), Mar 2015, Maryland, United States

Accès au texte intégral et bibtex

titre

Bounds for the Condition Number of Polynomials Systems with Integer Coefficients

auteur

Aaron Herman, Elias Tsigaridas

article

Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov. CASC, 2015, Aachen, Germany. 9301, pp.210--219, 2015, 10.1007/978-3-319-24021-3_16

Accès au texte intégral et bibtex

Chapitre d'ouvrage

titre

Algorithmes efficaces en géométrie algébrique réelle

auteur

Mohab Safey El Din

article

Informatique Mathématique Une photographie en 2015, CNRS Editions, 2015, 978-2-271-08791-1

Accès au bibtex

Pré-publication, Document de travail

titre

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

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

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

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

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

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

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

Communication dans un congrès

titre

Algebraic Attack against Variants of McEliece with Goppa Polynomial of a Special Form

auteur

Jean-Charles Faugère, Ludovic Perret, Frédéric De Portzamparc

article

Advances in Cryptology Asiacrypt 2014, Dec 2014, Kaohsiung, Taiwan. Springer, 8873, pp.21-41, 2014, Lecture Notes in Computer Science. 10.1007/978-3-662-45611-8_2

Accès au texte intégral et bibtex

titre

ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves

auteur

Jing Yang, Dongming Wang, Hoon Hong

article

10th Asian Symposium on Computer Mathematics, Oct 2014, Beijing, China. Springer, pp.437-451, 2014, Computer Mathematics. 10.1007/978-3-662-43799-5_29

Accès au bibtex

titre

Nearly Optimal Computations with Structured Matrices

auteur

Victor Y. Pan, Elias Tsigaridas

article

SNC '14 - Symposium on Symbolic-Numeric Computation, Jul 2014, Shanghai, China. Proceedings of the 2014 Symposium on Symbolic-Numeric Computation, pp.21-30, http://symbolic-numeric-computation.org/snc-2014/. 10.1145/2631948.2631954

Accès au texte intégral et bibtex

titre

Accelerated Approximation of the Complex Roots of a Univariate Polynomial (Extended Abstract)

auteur

Victor Y. Pan, Elias Tsigaridas

article

SNC '14 - Symposium on Symbolic-Numeric Computation, Jul 2014, Shanghai, China. ACM, Proceedings of the 2014 Symposium on Symbolic-Numeric Computation, pp.132-134, http://symbolic-numeric-computation.org/snc-2014/. 10.1145/2631948.2631973

Accès au texte intégral et bibtex

titre

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

Practical Cryptanalysis of a Public-Key Encryption Scheme Based on New Multivariate Quadratic Assumptions

auteur

Martin Albrecht, Jean-Charles Faugère, Robert Fitzpatrick, Ludovic Perret, Yosuke Todo, Keita Xagawa

article

PKC 2014 - 17th International Conference on Practice and Theory in Public-Key Cryptography, Mar 2014, Buenos Aires, Argentina. Springer, 2014

Accès au texte intégral et bibtex

titre

Lazy Modulus Switching for the BKW Algorithm on LWE

auteur

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

article

Public-Key Cryptography - PKC 2014 - 17th International Conference on Practice and Theory in Public-Key Cryptography, Mar 2014, Buenos Aires, Argentina. Springer, 2014

Accès au texte intégral et bibtex

titre

Rounding and Chaining LLL: Finding Faster Small Roots of Univariate Polynomial Congruences

auteur

Jingguo Bi, Jean-Sébastien Coron, Jean-Charles Faugère, Phong Q. Nguyen, Guénaël Renault, Rina Zeitoun

article

Hugo Krawczyk. PKC 2014 - 17th IACR International Conference on Practice and Theory of Public-Key Cryptography, Mar 2014, Buenos Aires, Argentina. Springer, 8383, pp.185-202, 2014, Lecture Notes in Computer Science. 10.1007/978-3-642-54631-0_11

Accès au texte intégral et bibtex

Direction d'ouvrage, Proceedings

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

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

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

titre

Foreword to the Special Focus on Mathematics, Data and Knowledge

auteur

Xiaoyu Chen, Dongming Wang, Xiangliang Zhang

article

Mathematics in Computer Science, Springer, 2013, Special Focus on Mathematics, Data and Knowledge, 7 (4), pp.379-386. 10.1007/s11786-013-0169-2

Accès au bibtex

titre

A polynomial approach for extracting the extrema of a spherical function and its application in diffusion MRI

auteur

Aurobrata Ghosh, Elias Tsigaridas, Bernard Mourrain, Rachid Deriche

article

Medical Image Analysis, Elsevier, 2013, 17 (5), pp.503-514. 10.1016/j.media.2013.03.004

Accès au bibtex

titre

A Distinguisher for High Rate McEliece Cryptosystems

auteur

Jean-Charles Faugère, Valérie Gauthier-Umana, Ayoub Otmani, Ludovic Perret, Jean-Pierre Tillich

article

IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2013, 59 (10), pp.6830-6844. http://dx.doi.org/10.1109/TIT.2013.2272036. 10.1109/TIT.2013.2272036

Accès au texte intégral et bibtex

titre

Using Symmetries in the Index Calculus for Elliptic Curves Discrete Logarithm

auteur

Jean-Charles Faugère, Pierrick Gaudry, Louise Huot, Guénaël Renault

article

Journal of Cryptology, Springer Verlag, 2013, pp.1-40. 10.1007/s00145-013-9158-5

Accès au texte intégral et bibtex

titre

On the Complexity of the Generalized MinRank Problem

auteur

Jean-Charles Faugère, Mohab Safey El Din, Pierre-Jean Spaenlehauer

article

Journal of Symbolic Computation, Elsevier, 2013, 55, pp.30-58. 10.1016/j.jsc.2013.03.004

Accès au bibtex

titre

On the Complexity of Solving Quadratic Boolean Systems

auteur

Magali Bardet, Jean-Charles Faugère, Bruno Salvy, Pierre-Jean Spaenlehauer

article

Journal of Complexity, Elsevier, 2013, 29 (1), pp.53-75. 10.1016/j.jco.2012.07.001

Accès au bibtex

titre

Decomposing polynomial sets into simple sets over finite fields: The positive-dimensional case

auteur

Chenqi Mou, Dongming Wang, Xiaoliang Li

article

Theoretical Computer Science, Elsevier, 2013, 468, pp.102-113. 10.1016/j.tcs.2012.11.009

Accès au bibtex

titre

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

Exact Voronoi diagram of smooth convex pseudo-circles: General predicates, and implementation for ellipses

auteur

Ioannis Emiris, Elias Tsigaridas, George Tzoumas

article

Computer Aided Geometric Design, Elsevier, 2013, 10.1016/j.cagd.2013.06.005

Accès au texte intégral et bibtex

titre

Improving 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

Improving Angular Speed Uniformity by Reparameterization

auteur

Jing Yang, Dongming Wang, Hoon Hong

article

Computer Aided Geometric Design, Elsevier, 2013, 30 (7), pp.636-652. 10.1016/j.cagd.2013.04.001

Accès au bibtex

titre

Cryptanalysis of HFE, Multi-HFE and Variants for Odd and Even Characteristic

auteur

Luk Bettale, Jean-Charles Faugère, Ludovic Perret

article

Designs, Codes and Cryptography, Springer Verlag, 2013, 69 (1), pp.1 - 52. 10.1007/s10623-012-9617-2

Accès au texte intégral et bibtex

titre

Patience of Matrix Games

auteur

Kristoffer Arnsfelt Hansen, Rasmus Ibsen-Jensen, Vladimir V. Podolskii, Elias Tsigaridas

article

Discrete Applied Mathematics, Elsevier, 2013, 10.1016/j.dam.2013.05.008

Accès au texte intégral et bibtex

titre

A 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

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

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

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

Computing rational solutions of linear matrix inequalities

auteur

Qingdong Guo, Mohab Safey El Din, Lihong Zhi

article

ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. 2013

Accès au texte intégral et bibtex

titre

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

On the Complexity of Computing Gröbner Bases for Quasi-homogeneous Systems

auteur

Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron

article

The 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, Maine, United States. ACM, ISSAC '13 : Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation, pp.189-196, 2013, 10.1145/2465506.2465943

Accès au texte intégral et bibtex

titre

Gröbner Bases of Ideals Invariant under a Commutative Group: the Non-Modular Case

auteur

Jean-Charles Faugère, Jules Svartz

article

The 38th International Symposium on Symbolic and Algebraic Computation, ISSAC '13, Jun 2013, Boston, United States. ACM, Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation, ISSAC '13, pp.347-354, 2013, 10.1145/2465506.2465944

Accès au texte intégral et bibtex

titre

Signature Rewriting in Gröbner Basis Computation

auteur

Christian Eder, Bjarke Hammersholt Roune

article

Kauers, Manuel. ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. ACM, pp.331-338, 2013, 10.1145/2465506.2465522

Accès au texte intégral et bibtex

titre

Critical Point Methods and Effective Real Algebraic Geometry: New Results and Trends

auteur

Mohab Safey El Din

article

Manuel Kauers. ISSAC 2013 - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. pp.5-6, 2013, 10.1145/2465506.2465928

Accès au texte intégral et bibtex

titre

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

titre

Improved bounds for the CF algorithm

auteur

Elias Tsigaridas

article

Theoretical Computer Science, Elsevier, 2012, pp.1-12

Accès au texte intégral et bibtex

titre

Efficient Arithmetic in Successive Algebraic Extension Fields Using Symmetries

auteur

Sébastien Orange, Guénaël Renault, Kazuhiro Yokoyama

article

Mathematics in Computer Science, Springer, 2012, 6 (3), pp.217-233. 10.1007/s11786-012-0112-y

Accès au texte intégral et bibtex

titre

Algebraic Analysis of Stability and Bifurcation of a Self-assembling Micelle System

auteur

Wei Niu, Dongming Wang

article

Applied Mathematics and Computation, Elsevier, 2012, 219 (1), pp.108-121. 10.1016/j.amc.2012.04.087

Accès au bibtex

titre

On the relation between the MXL family of algorithms and Gröbner basis algorithms

auteur

Martin R. Albrecht, Carlos Cid, Jean-Charles Faugère, Ludovic Perret

article

Journal of Symbolic Computation, Elsevier, 2012, 47 (8), pp.926-941. http://www.sciencedirect.com/science/article/pii/S074771711200003X. 10.1016/j.jsc.2012.01.002

Accès au texte intégral et bibtex

titre

Analysis of the algebraic side channel attack

auteur

Claude Carlet, Jean-Charles Faugère, Christopher Goyet, Guénaël Renault

article

Journal of Cryptographic Engineering, Springer, 2012, 2 (1), pp.45-62. 10.1007/s13389-012-0028-0

Accès au texte intégral et bibtex

titre

On enumeration of polynomial equivalence classes and their application to MPKC

auteur

Dongdai Lin, Jean-Charles Faugère, Ludovic Perret, Tianze Wang

article

Finite Fields and Their Applications, Elsevier, 2012, 18 (2), pp.283-302. http://www.sciencedirect.com/science/article/pii/S1071579711000797. 10.1016/j.ffa.2011.09.001

Accès au texte intégral et bibtex

titre

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

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

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

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

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

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

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

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

titre

Local Generic Position for Root Isolation of Zero-dimensional Triangular Polynomial Systems

auteur

Jia Li, Jinsan Cheng, Elias Tsigaridas

article

W. Koepf and E.Vorozhtsov. CASC 2012 - 14th International Workshop on Computer Algebra in Scientific Computing, Sep 2012, Maribor, Slovenia. Springer, 7442, pp.186-197, 2012, Lecture Notes in Computer Science. 10.1007/978-3-642-32973-9_16

Accès au texte intégral et bibtex

titre

Attacking (EC)DSA Given Only an Implicit Hint

auteur

Jean-Charles Faugère, Christopher Goyet, Guénaël Renault

article

Knudsen, Lars R. and Wu, Huapeng. Selected Areas in Cryptography, Aug 2012, Windsor, Canada. Springer, 7707, pp.252-274, 2012, Lecture Notes in Computer Science. 10.1007/978-3-642-35999-6_17

Accès au texte intégral et bibtex

titre

An All-In-One Approach to Differential Cryptanalysis for Small Block Ciphers

auteur

Martin R. Albrecht, Gregor Leander

article

SAC 2012 - 19th International Conference on Selected Areas in Cryptography, Aug 2012, Windsor, Canada. Springer, 7707, pp.1-15, 2013, Lecture Notes in Computer Science. 10.1007/978-3-642-35999-6_1

Accès au texte intégral et bibtex

titre

Solving Polynomial Systems 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

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

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

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

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 BKW Algorithm on LWE

auteur

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

article

SCC 2012 -- Third international conference on Symbolic Computation and Cryptography, Jul 2012, Castro Urdiales, Spain. pp.100-107, http://wmc2012.unican.es/SCC_WMC_2012.pdf

Accès au texte intégral et bibtex

titre

On the complexity of the Arora-Ge Algorithm against LWE

auteur

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

article

SCC 2012 -- Third international conference on Symbolic Computation and Cryptography, Jul 2012, Castro Urdiales, Spain. pp.93-99, 2012, http://wmc2012.unican.es/SCC_WMC_2012.pdf

Accès au texte intégral et bibtex

titre

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

titre

Improving the Complexity of Index Calculus Algorithms in Elliptic Curves over Binary Fields

auteur

Jean-Charles Faugère, Ludovic Perret, Christophe Petit, Guénaël Renault

article

Eurocrypt 2012 - 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Apr 2012, Cambridge, United Kingdom. Springer, 7237, pp.27-44, 2012, Lecture Notes in Computer Science. 10.1007/978-3-642-29011-4_4

Accès au texte intégral et bibtex

titre

Real Solution Formulas of Cubic and Quartic Equations Applied to Generate Dynamic Diagrams with Inequality Constraints

auteur

Ting Zhao, Dongming Wang, Hoon Hong, Philippe Aubry

article

27th Annual ACM Symposium on Applied Computing (SAC 2012), Mar 2012, Trento, Italy. pp.94-101, 2012, 10.1145/2245276.2245297

Accès au texte intégral et bibtex

Chapitre d'ouvrage

titre

Algebraic 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

titre

Algebraic Algorithms

auteur

Ioannis Z. Emiris, Victor Y. Pan, Elias Tsigaridas

article

Teofilo Gonzalez. Computing Handbook Set - Computer Science, I, CRC Press, 2012

Accès au texte intégral et bibtex

titre

Mixed volume and distance geometry techniques for counting Euclidean embeddings of rigid graphs

auteur

Ioannis Z. Emiris, Elias Tsigaridas, Antonios Varvitsiotis

article

C. Lavor and L. Liberti and N. Maculan and A. Mucherino. Distance Geometry: With Applications to Molecular Conformation and Sensor Networks, Springer-Verlag, pp.23-45, 2012, 978-1-4614-5128-0. 10.1007/978-1-4614-5128-0_2

Accès au texte intégral et bibtex

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

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

2011

Article dans des revues

titre

Polly Cracker, Revisited

auteur

Martin Albrecht, Jean-Charles Faugère, Pooya Farshim, Gottfried Herold, Ludovic Perret

article

Design Codes and Cryptography, Springer, 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