2024
Article dans une revue
- titre
- On the degree of varieties of sum of squares
- auteur
- Andrew Ferguson, Giorgio Ottaviani, Mohab Safey El Din, Ettore Turatti
- article
- Journal of Pure and Applied Algebra, In press
- Accès au texte intégral et bibtex
-
- titre
- Computing roadmaps in unbounded smooth real algebraic sets I: connectivity results
- auteur
- Rémi Prébet, Mohab Safey El Din, Éric Schost
- article
- Journal of Symbolic Computation, 2024, 120, pp.102234. ⟨10.1016/j.jsc.2023.102234⟩
- DOI
- DOI : 10.1016/j.jsc.2023.102234
- Accès au texte intégral et bibtex
-
- titre
- Zero-Hopf bifurcation of limit cycles in certain differential systems
- auteur
- Bo Huang, Dongming Wang
- article
- Bulletin des Sciences Mathématiques, 2024, 195, pp.103472. ⟨10.1016/j.bulsci.2024.103472⟩
- DOI
- DOI : 10.1016/j.bulsci.2024.103472
- Accès au bibtex
-
- titre
- On Łojasiewicz Inequalities and the Effective Putinar's Positivstellensatz
- auteur
- Lorenzo Baldi, Bernard Mourrain, Adam Parusinski
- article
- Journal of Algebra, In press, ⟨10.1016/j.jalgebra.2024.08.022⟩
- DOI
- DOI : 10.1016/j.jalgebra.2024.08.022
- Accès au texte intégral et bibtex
-
- titre
- Degree Bounds for Putinar's Positivstellensatz on the hypercube
- auteur
- Lorenzo Baldi, Lucas Slot
- article
- SIAM Journal on Applied Algebra and Geometry, 2024, 8 (1), pp.1-25. ⟨10.1137/23M1555430⟩
- DOI
- DOI : 10.1137/23M1555430
- Accès au texte intégral et bibtex
-
- titre
- Determination of All Stable and Unstable Equilibria for Image-Point-Based Visual Servoing
- auteur
- Alessandro Colotti, Jorge García Fontán, Alexandre Goldsztejn, Sébastien Briot, François Chaumette, Olivier Kermorgant, Mohab Safey El Din
- article
- IEEE Transactions on Robotics, 2024, 40, pp.3406-3424. ⟨10.1109/TRO.2024.3422050⟩
- DOI
- DOI : 10.1109/TRO.2024.3422050
- Accès au texte intégral et bibtex
-
- titre
- Faster Modular Composition
- auteur
- Vincent Neiger, Bruno Salvy, Éric Schost, Gilles Villard
- article
- Journal of the ACM (JACM), 2024, 71 (2), pp.1-79. ⟨10.1145/3638349⟩
- DOI
- DOI : 10.1145/3638349
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Decomposition of Polynomial Ideals into Triangular Regular Sequences
- auteur
- Dongming Wang, Linpeng Wang
- article
- ISSAC '24: International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh, NC, United States. pp.244-253, ⟨10.1145/3666000.3669696⟩
- DOI
- DOI : 10.1145/3666000.3669696
- Accès au bibtex
-
- titre
- One vector to rule them all: Key recovery from one vector in UOV schemes
- auteur
- Pierre Pébereau
- article
- 15th International Conference on Post-Quantum Cryptography - PQCrypto 2024, Jun 2024, Oxford, United Kingdom. pp.92-108, ⟨10.1007/978-3-031-62746-0_5⟩
- DOI
- DOI : 10.1007/978-3-031-62746-0_5
- Accès au texte intégral et bibtex
-
- titre
- Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting
- auteur
- Jérémy Berthomieu, Rafael Mohr
- article
- 49th International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh, NC, United States. pp.307-315, ⟨10.1145/3666000.3669703⟩
- DOI
- DOI : 10.1145/3666000.3669703
- Accès au texte intégral et bibtex
-
- titre
- Polynomial-Time Key-Recovery Attack on the NIST Specification of PROV
- auteur
- River Moreira Ferreira, Ludovic Perret
- article
- AFRICACRYPT 2024, Tako Boris Fouotsa; Emmanuel Fouotsa, Oct 2024, Douala, Cameroon. pp.222-235, ⟨10.1007/978-3-031-64381-1_10⟩
- DOI
- DOI : 10.1007/978-3-031-64381-1_10
- Accès au texte intégral et bibtex
-
- titre
- Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation
- auteur
- Bo Huang, Dongming Wang, Jing Yang
- article
- ISSAC '24: International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh, NC, United States. pp.180-187, ⟨10.1145/3666000.3669689⟩
- DOI
- DOI : 10.1145/3666000.3669689
- Accès au bibtex
-
- titre
- Solving parameter-dependent semi-algebraic systems
- auteur
- Louis Gaillard, Mohab Safey El Din
- article
- ISSAC '24: International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh, NC, United States. pp.447-456, ⟨10.1145/3666000.3669718⟩
- DOI
- DOI : 10.1145/3666000.3669718
- Accès au texte intégral et bibtex
-
- titre
- Computing Krylov iterates in the time of matrix multiplication
- auteur
- Vincent Neiger, Clément Pernet, Gilles Villard
- article
- ISSAC '24: International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh, NC, United States. pp.419-428, ⟨10.1145/3666000.3669715⟩
- DOI
- DOI : 10.1145/3666000.3669715
- Accès au texte intégral et bibtex
-
- titre
- Biscuit: New MPCitH Signature Scheme from Structured Multivariate Polynomials
- auteur
- Luk Bettale, Delaram Kahrobaei, Ludovic Perret, Javier Verbel
- article
- Applied Cryptography and Network Security (ACNS), Mar 2024, Abu Dhabi, United Arab Emirates. pp.457-486, ⟨10.1007/978-3-031-54770-6_18⟩
- DOI
- DOI : 10.1007/978-3-031-54770-6_18
- Accès au texte intégral et bibtex
-
- titre
- Optimized Gröbner basis algorithms for maximal determinantal ideals and critical point computations
- auteur
- Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El Din
- article
- ISSAC 2024 - 49th International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh, NC, United States. pp.400-409, ⟨10.1145/3666000.3669713⟩
- DOI
- DOI : 10.1145/3666000.3669713
- Accès au texte intégral et bibtex
-
Poster de conférence
- titre
- Post-Quantum Cryptographically-Secured Trusted Node for Quantum Key Distribution in a Deployed Network
- auteur
- Heming Huang, Yves Jaouën, Nicolas Fabre, Romain Alléaume, Jean-Sébastien Pegon, Thomas Camus, Martin Zuber, Jean-Charles Faugère, Pierre-Enguerrand Verdier, Baptiste Lacour, Maxime Gautier, Thomas Rivera, Yoann Piétri, Matteo Schiavon, Amine Rhouni, Eleni Diamanti
- article
- QCRYPT 2024 - 14th International Conference on Quantum Cryptography, Sep 2024, Vigo, Spain
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- Subfield attack: leveraging composite-degree extensions in the Quotient Ring transform
- auteur
- Pierre Pébereau
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Verifying feasibility of degenerate semidefinite programs
- auteur
- Vladimir Kolmogorov, Simone Naldi, Jeferson Zapata
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Nonnegative Polynomials and Moment Problems on Algebraic Curves
- auteur
- Lorenzo Baldi, Grigoriy Blekherman, Rainer Sinn
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- R-hulloid of the vertices of a tetrahedron
- auteur
- Marco Longinetti, Simone Naldi, Adriana Venturi
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Computing roadmaps in unbounded smooth real algebraic sets II: algorithm and complexity
- auteur
- Rémi Prébet, Mohab Safey El Din, Éric Schost
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Singular points of UOV and VOX
- auteur
- Pierre Pébereau
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- On the Semidirect Discrete Logarithm Problem in Finite Groups
- auteur
- Christopher Battarbee, Giacomo Borin, Ryann Cartor, Nadia Heninger, David Jao, Delaram Kahrobaei, Laura Maddison, Edoardo Persichetti, Angela Robinson, Daniel Smith-Tone, Rainer Steinwandt
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs
- auteur
- Daniela Kaufmann, Jérémy Berthomieu
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- A New Algorithm for Whitney Stratification of Varieties
- auteur
- Martin Helmer, Rafael Mohr
- article
- 2024
- DOI
- DOI : 10.48550/arXiv.2406.17122
- Accès au texte intégral et bibtex
-
- titre
- On the configurations of four spheres supporting the vertices of a tetrahedron
- auteur
- Marco Longinetti, Simone Naldi
- article
- 2024
- Accès au texte intégral et bibtex
-
2023
Article dans une revue
- titre
- Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients
- auteur
- Victor Magron, Mohab Safey El Din, Trung-Hieu Vu
- article
- SIAM Journal on Optimization, 2023, 33 (1), ⟨10.1137/21M1436245⟩
- DOI
- DOI : 10.1137/21M1436245
- Accès au bibtex
-
- titre
- Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics
- auteur
- Jose Capco, Mohab Safey El Din, Josef Schicho
- article
- Journal of Symbolic Computation, 2023, 115, pp.320-345. ⟨10.1016/j.jsc.2022.08.008⟩
- DOI
- DOI : 10.1016/j.jsc.2022.08.008
- Accès au texte intégral et bibtex
-
- titre
- Stability analysis of a bacterial growth model through computer algebra
- auteur
- Agustín Gabriel Yabo, Mohab Safey El Din, Jean-Baptiste Caillau, Jean-Luc Gouzé
- article
- MathematicS In Action, 2023, 12 (1), pp.175-189. ⟨10.5802/msia.37⟩
- DOI
- DOI : 10.5802/msia.37
- Accès au texte intégral et bibtex
-
- titre
- Computing critical points for invariant algebraic systems
- auteur
- Jean-Charles Faugère, George Labahn, Mohab Safey El Din, Éric Schost, Thi Xuan Vu
- article
- Journal of Symbolic Computation, 2023, 116, pp.365-399. ⟨10.1016/j.jsc.2022.10.002⟩
- DOI
- DOI : 10.1016/j.jsc.2022.10.002
- Accès au texte intégral et bibtex
-
- titre
- Modular matrix multiplication on GPU for polynomial system solving
- auteur
- Jérémy Berthomieu, Stef Graillat, Dimitri Lesnoff, Theo Mary
- article
- ACM Communications in Computer Algebra, In press, 57 (2), pp.35-38. ⟨10.1145/3614408.3614411⟩
- DOI
- DOI : 10.1145/3614408.3614411
- Accès au texte intégral et bibtex
-
- titre
- A Signature-based Algorithm for Computing the Nondegenerate Locus of a Polynomial System
- auteur
- Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din
- article
- Journal of Symbolic Computation, 2023, 119, pp.1-21. ⟨10.1016/j.jsc.2023.02.001⟩
- DOI
- DOI : 10.1016/j.jsc.2023.02.001
- Accès au texte intégral et bibtex
-
- titre
- Exact solutions in log-concave maximum likelihood estimation
- auteur
- Alexandros Grosdos, Alexander Heaton, Kaie Kubjas, Olga Kuznetsova, Georgy Scholten, Miruna-Ştefana Sorea
- article
- Advances in Applied Mathematics, 2023, 143, pp.102448. ⟨10.1016/j.aam.2022.102448⟩
- DOI
- DOI : 10.1016/j.aam.2022.102448
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Shorter and Faster Identity-Based Signatures with Tight Security in the (Q)ROM from Lattices
- auteur
- Éric Sageloli, Pierre Pébereau, Pierrick Méaux, Céline Chevalier
- article
- 21st International Conference on Applied Cryptography and Network Security, Jun 2023, Kyoto, Japan. pp.634--663, ⟨10.1007/978-3-031-33488-7_24⟩
- DOI
- DOI : 10.1007/978-3-031-33488-7_24
- Accès au texte intégral et bibtex
-
- titre
- Beating binary powering for polynomial matrices
- auteur
- Alin Bostan, Vincent Neiger, Sergey Yurkevich
- article
- ISSAC 2023 - 48th International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromso, Norway
- Accès au texte intégral et bibtex
-
- titre
- SPDH-Sign: towards Efficient, Post-quantum Group-based Signatures
- auteur
- Christopher Battarbee, Ludovic Perret, Siamak F. Shahandashti, Delaram Kahrobaei
- article
- PQCrypto 2023 - The 14th International Conference on Post-Quantum Cryptography, Aug 2023, College Park, MD, United States
- Accès au bibtex
-
- titre
- Refined F5 Algorithms for Ideals of Minors of Square Matrices
- auteur
- Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El Din
- article
- ISSAC 2023 - 48th International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromsø, Norway
- Accès au texte intégral et bibtex
-
- titre
- Fast Algorithms for Discrete Differential Equations
- auteur
- Alin Bostan, Hadrien Notarantonio, Mohab Safey El Din
- article
- ISSAC 2023 - 48th International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromso, Norvège, Norway
- Accès au texte intégral et bibtex
-
- titre
- A Direttissimo Algorithm for Equidimensional Decomposition
- auteur
- Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din
- article
- ISSAC 2023 - 48th International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromsø, Norway
- Accès au texte intégral et bibtex
-
- titre
- Algorithm for connectivity queries on real algebraic curves
- auteur
- Nazrul Islam, Adrien Poteaux, Rémi Prébet
- article
- ISSAC 2023 - 48th International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromsø, Norway. ⟨10.1145/3597066.3597081⟩
- DOI
- DOI : 10.1145/3597066.3597081
- Accès au texte intégral et bibtex
-
HDR
- titre
- Contributions to polynomial system solving: Recurrences and Gröbner bases
- auteur
- Jérémy Berthomieu
- article
- Symbolic Computation [cs.SC]. Sorbonne Université, 2023
- Accès au texte intégral et bibtex
-
Autre publication scientifique
- titre
- Biscuit: Shorter MPC-based Signature from PoSSo
- auteur
- Luk Bettale, Ludovic Perret, Delaram Kahrobaei, Javier Verbel
- article
- 2023
- Accès au bibtex
-
Thèse
- titre
- Connexité dans les ensembles algébriques réels : algorithmes et applications
- auteur
- Rémi Prébet
- article
- Algebraic Geometry [math.AG]. Sorbonne Université, 2023. English. ⟨NNT : 2023SORUS664⟩
- Accès au texte intégral et bibtex
-
- titre
- Analyse des singularités et de la stabilité des contrôleurs visuels
- auteur
- Jorge García Fontán
- article
- Computer Vision and Pattern Recognition [cs.CV]. Sorbonne Université, 2023. English. ⟨NNT : 2023SORUS015⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- Cryptanalysis of protocols using (Simultaneous) Conjugacy Search Problem in certain Metabelian Platform Groups
- auteur
- Delaram Kahrobaei, Carmine Monetta, Ludovic Perret, Maria Tota, Martina Vigorito
- article
- 2023
- DOI
- DOI : 10.48550/ARXIV.2309.13928
- Accès au texte intégral et bibtex
-
- titre
- Faster List Decoding of AG Codes
- auteur
- Peter Beelen, Vincent Neiger
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Algebraic certificates for the truncated moment problem
- auteur
- Didier Henrion, Simone Naldi, Mohab Safey El Din
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- New efficient algorithms for computing Gröbner bases of saturation ideals (F4SAT) and colon ideals (Sparse-FGLM-colon)
- auteur
- Jérémy Berthomieu, Christian Eder, Mohab Safey El Din
- article
- 2023
- Accès au texte intégral et bibtex
-
2022
Article dans une revue
- titre
- Gröbner bases and critical values: The asymptotic combinatorics of determinantal systems
- auteur
- Jérémy Berthomieu, Alin Bostan, Andrew Ferguson, Mohab Safey El Din
- article
- Journal of Algebra, 2022, 602, pp.154-180. ⟨10.1016/j.jalgebra.2022.03.002⟩
- DOI
- DOI : 10.1016/j.jalgebra.2022.03.002
- Accès au texte intégral et bibtex
-
- titre
- On the Nonemptiness and Boundedness of Solution Sets of Weakly Homogeneous Optimization Problems
- auteur
- Trung-Hieu Vu
- article
- Set-Valued and Variational Analysis, 2022, 30 (3), pp.1105-1116. ⟨10.1007/s11228-022-00637-0⟩
- DOI
- DOI : 10.1007/s11228-022-00637-0
- Accès au texte intégral et bibtex
-
- titre
- Sparse Moments of Univariate Step Functions and Allele Frequency Spectra
- auteur
- Zvi Rosen, Georgy Scholten, Cynthia Vinzant
- article
- Vietnam Journal of Mathematics, 2022, 50 (2), pp.523-544. ⟨10.1007/s10013-022-00548-5⟩
- DOI
- DOI : 10.1007/s10013-022-00548-5
- Accès au texte intégral et bibtex
-
- titre
- Singularity Analysis for the Perspective-Four and Five-Line Problems
- auteur
- Jorge García Fontán, Abhilash Nayak, Sébastien Briot, Mohab Safey El Din
- article
- International Journal of Computer Vision, 2022, 130, pp.909-932. ⟨10.1007/s11263-021-01567-4⟩
- DOI
- DOI : 10.1007/s11263-021-01567-4
- Accès au texte intégral et bibtex
-
- titre
- Guessing Gröbner Bases of Structured Ideals of Relations of Sequences
- auteur
- Jérémy Berthomieu, Mohab Safey El Din
- article
- Journal of Symbolic Computation, 2022, 111, pp.1-26. ⟨10.1016/j.jsc.2021.11.001⟩
- DOI
- DOI : 10.1016/j.jsc.2021.11.001
- Accès au texte intégral et bibtex
-
- titre
- Polynomial-Division-Based Algorithms for Computing Linear Recurrence Relations
- auteur
- Jérémy Berthomieu, Jean-Charles Faugère
- article
- Journal of Symbolic Computation, 2022, 109, pp.1-30. ⟨10.1016/j.jsc.2021.07.002⟩
- DOI
- DOI : 10.1016/j.jsc.2021.07.002
- Accès au texte intégral et bibtex
-
- titre
- Solving parametric systems of polynomial equations over the reals through Hermite matrices
- auteur
- Huu Phuoc Le, Mohab Safey El Din
- article
- Journal of Symbolic Computation, In press, 112, pp.25-61. ⟨10.1016/j.jsc.2021.12.002⟩
- DOI
- DOI : 10.1016/j.jsc.2021.12.002
- Accès au texte intégral et bibtex
-
- titre
- Computing totally real hyperplane sections and linear series on algebraic curves
- auteur
- Huu Phuoc Le, Dimitri Manevich, Daniel Plaumann
- article
- Le Matematiche, 2022, 77 (1), pp.119-141. ⟨10.4418/2022.77.1.7⟩
- DOI
- DOI : 10.4418/2022.77.1.7
- Accès au texte intégral et bibtex
-
- titre
- Globally Optimal Solution to Inverse Kinematics of 7DOF Serial Manipulator
- auteur
- Pavel Trutman, Mohab Safey El Din, Didier Henrion, Tomas Pajdla
- article
- IEEE Robotics and Automation Letters, 2022, 7 (3), pp.6012 - 6019. ⟨10.1109/LRA.2022.3163444⟩
- DOI
- DOI : 10.1109/LRA.2022.3163444
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Finer Complexity Estimates for the Change of Ordering of Gröbner Bases for Generic Symmetric Determinantal Ideals
- auteur
- Andrew Ferguson, Huu Phuoc Le
- article
- International Symposium on Symbolic and Algebraic Computation (ISSAC '22), Jul 2022, Villeneuve-d'Ascq, France. pp.9, ⟨10.1145/3476446.3536182⟩
- DOI
- DOI : 10.1145/3476446.3536182
- Accès au texte intégral et bibtex
-
- titre
- Rank-Sensitive Computation of the Rank Profile of a Polynomial Matrix
- auteur
- George Labahn, Vincent Neiger, Thi Xuan Vu, Wei Zhou
- article
- ISSAC 2022, Jul 2022, Villeneuve-d'Ascq, France
- Accès au texte intégral et bibtex
-
- titre
- Algorithms for discrete differential equations of order 1
- auteur
- Alin Bostan, Frédéric Chyzak, Hadrien Notarantonio, Mohab Safey El Din
- article
- ISSAC 2022 - 47th International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France. pp.101-110
- Accès au texte intégral et bibtex
-
- titre
- A Subexponential Quantum Algorithm for the Semidirect Discrete Logarithm Problem
- auteur
- Christopher Battarbee, Delaram Kahrobaei, Ludovic Perret, Siamak F. Shahandashti
- article
- NIST Fourth PQC Standardization Conference, Nov 2022, On-line conference, United States
- Accès au bibtex
-
- titre
- Exact SOHS Decompositions of Trigonometric Univariate Polynomials with Gaussian Coefficients
- auteur
- Victor Magron, Mohab Safey El Din, Markus Schweighofer, Trung Hieu Vu
- article
- International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2022, Lille, France
- Accès au bibtex
-
- titre
- Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry
- auteur
- Damien Chablat, Rémi Prébet, Mohab Safey El Din, Durgesh Salunkhe, Philippe Wenger
- article
- ISSAC 2022 - 47th International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France. ⟨10.1145/3476446.3535477⟩
- DOI
- DOI : 10.1145/3476446.3535477
- Accès au texte intégral et bibtex
-
- titre
- Faster change of order algorithm for Gröbner bases under shape and stability assumptions
- auteur
- Jérémy Berthomieu, Vincent Neiger, Mohab Safey El Din
- article
- 2022 International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France. ⟨10.1145/3476446.3535484⟩
- DOI
- DOI : 10.1145/3476446.3535484
- Accès au texte intégral et bibtex
-
Thèse
- titre
- Algorithmes exacts pour l'optmisation polynomiale
- auteur
- Andrew Ferguson
- article
- Symbolic Computation [cs.SC]. Sorbonne Université, 2022. English. ⟨NNT : 2022SORUS298⟩
- Accès au texte intégral et bibtex
-
- titre
- Optimisation polynomiale certifiée basée sur les décompositions exactes de la somme des carrés
- auteur
- Trung-Hieu Vu
- article
- Optimization and Control [math.OC]. Sorbonne Université, 2022. English. ⟨NNT : 2022SORUS365⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- A New Perturbation for Multivariate Public Key Schemes such as HFE and UOV
- auteur
- Jean-Charles Faugère, Jacques Patarin, Ludovic Perret, Gilles Macario-Rat
- article
- 2022
- Accès au bibtex
-
- titre
- Computing the set of asymptotic critical values of polynomial mappings from smooth algebraic sets
- auteur
- Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din
- article
- 2022
- Accès au texte intégral et bibtex
-
- titre
- Faster algorithms for computing real isolated points of an algebraic hypersurface
- auteur
- Huu Phuoc Le
- article
- 2022
- Accès au texte intégral et bibtex
-
2021
Article dans une revue
- titre
- Towards fast one-block quantifier elimination through generalised critical values
- auteur
- Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din
- article
- ACM Communications in Computer Algebra, In press, 54 (3), pp.109-113. ⟨10.1145/3457341.3457348⟩
- DOI
- DOI : 10.1145/3457341.3457348
- Accès au texte intégral et bibtex
-
- titre
- Polynomial interrupt timed automata: Verification and expressiveness
- auteur
- Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas
- article
- Information and Computation, 2021, 277, pp.104580. ⟨10.1016/j.ic.2020.104580⟩
- DOI
- DOI : 10.1016/j.ic.2020.104580
- 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
- Journal of Symbolic Computation, 2021, 104, pp.942 - 959. ⟨10.1016/j.jsc.2020.11.001⟩
- DOI
- DOI : 10.1016/j.jsc.2020.11.001
- Accès au texte intégral et bibtex
-
- titre
- Complete Singularity Analysis for the Perspective-Four-Point Problem
- auteur
- Beatriz Pascual-Escudero, Abhilash Nayak, Sébastien Briot, Olivier Kermorgant, Philippe Martinet, Mohab Safey El Din, François Chaumette
- article
- International Journal of Computer Vision, 2021, 129 (4), pp.1217-1237. ⟨10.1007/s11263-020-01420-0⟩
- DOI
- DOI : 10.1007/s11263-020-01420-0
- Accès au texte intégral et bibtex
-
- titre
- Homotopy techniques for solving sparse column support determinantal polynomial systems
- auteur
- George Labahn, Mohab Safey El Din, Éric Schost, Thi Xuan Vu
- article
- Journal of Complexity, 2021, 66, pp.101557. ⟨10.1016/j.jco.2021.101557⟩
- DOI
- DOI : 10.1016/j.jco.2021.101557
- Accès au texte intégral et bibtex
-
- titre
- A nearly optimal algorithm to decompose binary forms
- auteur
- Matías R Bender, Jean-Charles Faugère, Ludovic Perret, Elias Tsigaridas
- article
- Journal of Symbolic Computation, 2021, 105, pp.71-96. ⟨10.1016/j.jsc.2020.06.002⟩
- DOI
- DOI : 10.1016/j.jsc.2020.06.002
- Accès au texte intégral et bibtex
-
- titre
- Lower and Upper Bounds on the Randomness Complexity of Private Computations of AND
- auteur
- Eyal Kushilevitz, Rafail Ostrovsky, Emmanuel Prouff, Adi Rosén, Adrian Thillard, Damien Vergnaud
- article
- SIAM Journal on Discrete Mathematics, 2021, 35 (1), pp.465-484. ⟨10.1137/20M1314197⟩
- DOI
- DOI : 10.1137/20M1314197
- Accès au bibtex
-
- titre
- On Exact Reznick, Hilbert-Artin and Putinar's Representations
- auteur
- Victor Magron, Mohab Safey El Din
- article
- Journal of Symbolic Computation, 2021, 107, pp.221-250. ⟨10.1016/j.jsc.2021.03.005⟩
- DOI
- DOI : 10.1016/j.jsc.2021.03.005
- 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
- Journal of Symbolic Computation, In press, 104, pp.754-804. ⟨10.1016/j.jsc.2020.09.008⟩
- DOI
- DOI : 10.1016/j.jsc.2020.09.008
- Accès au texte intégral et bibtex
-
- titre
- Multilinear Polynomial Systems: Root Isolation and Bit Complexity
- auteur
- Ioannis Z. Emiris, Angelos Mantzaflaris, Elias Tsigaridas
- article
- Journal of Symbolic Computation, 2021, Special Issue on Milestones in Computer Algebra (MICA 2016), 105, pp.145-164. ⟨10.1016/j.jsc.2020.06.005⟩
- DOI
- DOI : 10.1016/j.jsc.2020.06.005
- Accès au texte intégral et bibtex
-
- titre
- Koszul-type determinantal formulas for families of mixed multilinear systems
- auteur
- Matías R Bender, Jean-Charles Faugère, Angelos Mantzaflaris, Elias Tsigaridas
- article
- SIAM Journal on Applied Algebra and Geometry, 2021, 5 (4), pp.589-619. ⟨10.1137/20M1332190⟩
- DOI
- DOI : 10.1137/20M1332190
- Accès au texte intégral et bibtex
-
- titre
- Computing real radicals and S-radicals of polynomial systems
- auteur
- Mohab Safey El Din, Zhi-Hong Yang, Lihong Zhi
- article
- Journal of Symbolic Computation, 2021, 102, pp.259-278. ⟨10.1016/j.jsc.2019.10.018⟩
- DOI
- DOI : 10.1016/j.jsc.2019.10.018
- Accès au bibtex
-
- titre
- Cryptanalysis of the extension field cancellation cryptosystem
- auteur
- Olive Chakraborty, Jean-Charles Faugère, Ludovic Perret
- article
- Designs, Codes and Cryptography, 2021, 89 (6), pp.1335-1364. ⟨10.1007/s10623-021-00873-9⟩
- DOI
- DOI : 10.1007/s10623-021-00873-9
- Accès au bibtex
-
- titre
- On the solution existence and stability of polynomial optimization problems
- auteur
- Trung-Hieu Vu
- article
- Optimization Letters, 2021, ⟨10.1007/s11590-021-01788-z⟩
- DOI
- DOI : 10.1007/s11590-021-01788-z
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- msolve: A Library for Solving Polynomial Systems
- auteur
- Jérémy Berthomieu, Christian Eder, Mohab Safey El Din
- article
- 2021 International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersburg, Russia. pp.51-58, ⟨10.1145/3452143.3465545⟩
- DOI
- DOI : 10.1145/3452143.3465545
- Accès au texte intégral et bibtex
-
- titre
- Faster One Block Quantifier Elimination for Regular Polynomial Systems of Equations
- auteur
- Huu Phuoc Le, Mohab Safey El Din
- article
- International Symposium on Symbolic and Algebraic Computation 2021 (ISSAC '21), Jul 2021, Saint Petersburg, Russia. pp.265-272, ⟨10.1145/3452143.3465546⟩
- DOI
- DOI : 10.1145/3452143.3465546
- Accès au texte intégral et bibtex
-
- titre
- Computing the dimension of real algebraic sets
- auteur
- Pierre Lairez, Mohab Safey El Din
- article
- ISSAC 2021 - 46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint-Pétersbourg, Russia. pp.257-264, ⟨10.1145/3452143.3465551⟩
- DOI
- DOI : 10.1145/3452143.3465551
- Accès au texte intégral et bibtex
-
Thèse
- titre
- Cryptographie post-quantique : conception et analyse en cryptographie multivariée
- auteur
- Jocelyn Ryckeghem
- article
- Cryptography and Security [cs.CR]. Sorbonne Université, 2021. English. ⟨NNT : 2021SORUS577⟩
- Accès au bibtex
-
- titre
- Sur la résolution de systèmes polynomiaux paramétriques et l'élimination de quantificateurs sur les réels : algorithmes, complexité et implémentations
- auteur
- Huu Phuoc Le
- article
- Symbolic Computation [cs.SC]. Sorbonne Université, 2021. English. ⟨NNT : 2021SORUS554⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- On the computation of asymptotic critical values of polynomial maps and applications
- auteur
- Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din
- article
- 2021
- Accès au texte intégral et bibtex
-
- titre
- Degree of a polynomial ideal and Bézout inequalities
- auteur
- Daniel Lazard
- article
- 2021
- Accès au texte intégral et bibtex
-
2020
Article dans une revue
- titre
- Real root finding for low rank linear matrices
- auteur
- Didier Henrion, Simone Naldi, Mohab Safey El Din
- article
- Applicable Algebra in Engineering, Communication and Computing, 2020, 31, pp.101-133. ⟨10.1007/s00200-019-00396-w⟩
- DOI
- DOI : 10.1007/s00200-019-00396-w
- Accès au texte intégral et bibtex
-
- titre
- Cooperativity, absolute interaction, and algebraic optimization
- auteur
- Nidhi Kaihnsa, Yue Ren, Mohab Safey El Din, Johannes W R Martini
- article
- Journal of Mathematical Biology, In press, ⟨10.1007/s00285-020-01540-8⟩
- DOI
- DOI : 10.1007/s00285-020-01540-8
- Accès au texte intégral et bibtex
-
- titre
- Matrix formulae for Resultants and Discriminants of Bivariate Tensor-product Polynomials
- auteur
- Laurent Busé, Angelos Mantzaflaris, Elias Tsigaridas
- article
- Journal of Symbolic Computation, 2020, 98, pp.65-83. ⟨10.1016/j.jsc.2019.07.007⟩
- DOI
- DOI : 10.1016/j.jsc.2019.07.007
- Accès au texte intégral et bibtex
-
- titre
- In-depth comparison of the Berlekamp–Massey–Sakata and the Scalar-FGLM algorithms: the adaptive variants
- auteur
- Jérémy Berthomieu, Jean-Charles Faugère
- article
- Journal of Symbolic Computation, 2020, 101, pp.270-303. ⟨10.1016/j.jsc.2019.09.001⟩
- DOI
- DOI : 10.1016/j.jsc.2019.09.001
- Accès au texte intégral et bibtex
-
- titre
- Periodic Solutions of a Class of Non-autonomous Discontinuous Second-Order Differential Equations
- auteur
- Clayton da Silva, Alain Jacquemard, Marco Teixeira
- article
- Journal of Dynamical and Control Systems, 2020, 26, pp.17-44. ⟨10.1007/s10883-018-9426-7⟩
- DOI
- DOI : 10.1007/s10883-018-9426-7
- Accès au bibtex
-
- titre
- Separation bounds for polynomial systems
- auteur
- Ioannis Z. Emiris, Bernard Mourrain, Elias Tsigaridas
- article
- Journal of Symbolic Computation, 2020, 101, pp.128-151. ⟨10.1016/j.jsc.2019.07.001⟩
- DOI
- DOI : 10.1016/j.jsc.2019.07.001
- Accès au texte intégral et bibtex
-
- titre
- Solution maps of polynomial variational inequalities
- auteur
- Trung-Hieu Vu
- article
- Journal of Global Optimization, 2020, 77 (4), pp.807-824. ⟨10.1007/s10898-020-00897-w⟩
- DOI
- DOI : 10.1007/s10898-020-00897-w
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Deep learning side-channel analysis on large-scale traces
- auteur
- Loïc Masure, Nicolas Belleville, Eleonora Cagli, Marie-Angela Cornélie, Damien Couroussé, Cécile Dumas, Laurent Maingault
- article
- ESORICS 2020: Computer Security, Sep 2020, Guildford, United Kingdom. pp.440-460, ⟨10.1007/978-3-030-58951-6_22⟩
- DOI
- DOI : 10.1007/978-3-030-58951-6_22
- Accès au texte intégral et bibtex
-
- titre
- Robots, computer algebra and eight connected components
- auteur
- Jose Capco, Mohab Safey El Din, Josef Schicho
- article
- ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata / Virtual, Greece. pp.62-69, ⟨10.1145/3373207.3404048⟩
- DOI
- DOI : 10.1145/3373207.3404048
- Accès au texte intégral et bibtex
-
- titre
- Random Probing Security: Verification, Composition, Expansion and New Constructions
- auteur
- Sonia Belaïd, Jean-Sébastien Coron, Emmanuel Prouff, Matthieu Rivain, Abdul Rahman Taleb
- article
- CRYPTO 2020 - 40th Annual International Cryptology Conference, Aug 2020, Santa Barbara, CA / Virtual, United States. pp.339-368, ⟨10.1007/978-3-030-56784-2_12⟩
- DOI
- DOI : 10.1007/978-3-030-56784-2_12
- Accès au texte intégral et bibtex
-
- titre
- Computing the real isolated points of an algebraic hypersurface
- auteur
- Huu Phuoc Le, Mohab Safey El Din, Timo de Wolff
- article
- ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata / Virtual, Greece. pp.297-304, ⟨10.1145/3373207.3404049⟩
- DOI
- DOI : 10.1145/3373207.3404049
- Accès au texte intégral et bibtex
-
N°spécial de revue/special issue
- titre
- Special Issue on Symbolic and Algebraic Computation: ISSAC 2017
- auteur
- Mohab Safey El Din, Chee Yap
- article
- Journal of Symbolic Computation, 98, 2020, ⟨10.1016/j.jsc.2019.07.003⟩
- DOI
- DOI : 10.1016/j.jsc.2019.07.003
- Accès au bibtex
-
Thèse
- titre
- Algorithmes d'homotopie pour la résolution de systèmes déterminants structurés
- auteur
- Thi Xuan Vu
- article
- Data Structures and Algorithms [cs.DS]. Sorbonne Université; University of Waterloo (Canada), 2020. English. ⟨NNT : 2020SORUS478⟩
- Accès au texte intégral et bibtex
-
- titre
- Conception et analyse cryptographique des cryptosystèmes post-quantiques
- auteur
- Olive Chakraborty
- article
- Cryptography and Security [cs.CR]. Sorbonne Université, 2020. English. ⟨NNT : 2020SORUS283⟩
- Accès au texte intégral et bibtex
-
2019
Article dans une revue
- titre
- Semidefinite Approximations of Invariant Measures for Polynomial Systems
- auteur
- Victor Magron, Marcelo Forets, Didier Henrion
- article
- Discrete and Continuous Dynamical Systems - Series B, 2019, 24 (12), pp.6745-6770. ⟨10.3934/dcdsb.2019165⟩
- DOI
- DOI : 10.3934/dcdsb.2019165
- Accès au bibtex
-
- titre
- SPECTRA – a Maple library for solving linear matrix inequalities in exact arithmetic
- auteur
- Didier Henrion, Simone Naldi, Mohab Safey El Din
- article
- Optimization Methods and Software, 2019, 34 (1), pp.62-78. ⟨10.1080/10556788.2017.1341505⟩
- DOI
- DOI : 10.1080/10556788.2017.1341505
- Accès au texte intégral et bibtex
-
- titre
- Non-quantum cryptanalysis of the noisy version of Aaronson–Christiano's quantum money scheme
- auteur
- Marta Conde Pena, Raul Durán Díaz, Jean-Charles Faugère, Luis Hernández Encinas, Ludovic Perret
- article
- IET Information Security, 2019, 13 (4), pp.362-366. ⟨10.1049/iet-ifs.2018.5307⟩
- DOI
- DOI : 10.1049/iet-ifs.2018.5307
- Accès au bibtex
-
- titre
- A Comprehensive Study of Deep Learning for Side-Channel Analysis
- auteur
- Loïc Masure, Cécile Dumas, Emmanuel Prouff
- article
- IACR Transactions on Cryptographic Hardware and Embedded Systems, 2019, 2020 (1), pp.348-375. ⟨10.13154/tches.v2020.i1.348-375⟩
- DOI
- DOI : 10.13154/tches.v2020.i1.348-375
- 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, 2019, 93, pp.200-220. ⟨10.1016/j.jsc.2018.06.005⟩
- DOI
- DOI : 10.1016/j.jsc.2018.06.005
- Accès au texte intégral et bibtex
-
- titre
- On the maximal number of real embeddings of minimally rigid graphs in $\mathbb{R}^2$, $\mathbb{R}^3$ and $S^2$
- auteur
- Evangelos Bartzos, Ioannis Z. Emiris, Jan Legerský, Elias Tsigaridas
- article
- Journal of Symbolic Computation, In press, ⟨10.1016/j.jsc.2019.10.015⟩
- DOI
- DOI : 10.1016/j.jsc.2019.10.015
- 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, 2019, 68 (7), pp.953-966. ⟨10.1109/TC.2018.2851235⟩
- DOI
- DOI : 10.1109/TC.2018.2851235
- Accès au bibtex
-
Communication dans un congrès
- titre
- Lower and Upper Bounds on the Randomness Complexity of Private Computations of AND
- auteur
- Eyal Kushilevitz, Rafail Ostrovsky, Emmanuel Prouff, Adi Rosén, Adrian Thillard, Damien Vergnaud
- article
- TCC 2019 - 17th International Conference on Theory of Cryptography, Dec 2019, Nuremberg, Germany. pp.386-406, ⟨10.1007/978-3-030-36033-7_15⟩
- DOI
- DOI : 10.1007/978-3-030-36033-7_15
- Accès au texte intégral et bibtex
-
- titre
- Monomial Evaluation of Polynomial Functions Protected by Threshold Implementations
- auteur
- Simon Landry, Yanis Linge, Emmanuel Prouff
- article
- 13th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2019, Paris, France. pp.66-84, ⟨10.1007/978-3-030-41702-4_5⟩
- DOI
- DOI : 10.1007/978-3-030-41702-4_5
- Accès au texte intégral et bibtex
-
- titre
- Computing the volume of compact semi-algebraic sets
- auteur
- Pierre Lairez, Marc Mezzarobba, Mohab Safey El Din
- article
- ISSAC 2019 - International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China
- Accès au texte intégral et bibtex
-
- titre
- PKP-Based Signature Scheme
- auteur
- Ward Beullens, Jean-Charles Faugère, Eliane Koussa, Gilles Macario-Rat, Jacques Patarin, Ludovic Perret
- article
- Progress in Cryptology -- INDOCRYPT 2019, Dec 2019, Hyderabad, India. pp.3-22, ⟨10.1007/978-3-030-35423-7_1⟩
- DOI
- DOI : 10.1007/978-3-030-35423-7_1
- Accès au bibtex
-
- titre
- Gröbner Basis over Semigroup Algebras: Algorithms and Applications for Sparse Polynomial Systems
- auteur
- Matías R Bender, Jean-Charles Faugère, Elias P. Tsigaridas
- article
- ISSAC 2019 - 44th International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China. pp.42-49, ⟨10.1145/3326229.3326248⟩
- DOI
- DOI : 10.1145/3326229.3326248
- Accès au texte intégral et bibtex
-
- titre
- Software Toolkit for HFE-based Multivariate Schemes
- auteur
- Jean-Charles Faugère, Ludovic Perret, Jocelyn Ryckeghem
- article
- CHES 2019 : International Conference on Cryptographic Hardware and Embedded Systems, Aug 2019, Atlanta, United States. pp.257-304, ⟨10.13154/tches.v2019.i3.257-304⟩
- DOI
- DOI : 10.13154/tches.v2019.i3.257-304
- Accès au texte intégral et bibtex
-
- titre
- Assessment of the Key-Reuse Resilience of NewHope
- auteur
- Aurélie Bauer, Henri Gilbert, Guénaël Renault, Mélissa Rossi
- article
- CT-RSA 2019 - The Cryptographers' Track at the RSA Conference, Mar 2019, San Francisco, United States. pp.272-292, ⟨10.1007/978-3-030-12612-4_14⟩
- DOI
- DOI : 10.1007/978-3-030-12612-4_14
- Accès au texte intégral et bibtex
-
Thèse
- titre
- Algorithmes pour les systèmes polynomiaux creux : bases de Gröbner et résultants
- auteur
- Matias Rafael Bender
- article
- Symbolic Computation [cs.SC]. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS029⟩
- 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
-
2018
Article dans une revue
- titre
- Linear Repairing Codes and Side-Channel Attacks
- auteur
- Hervé Chabanne, Houssem Maghrebi, Emmanuel Prouff
- article
- IACR Transactions on Cryptographic Hardware and Embedded Systems, 2018, 2018 (1), pp.118-141. ⟨10.13154/tches.v2018.i1.118-141⟩
- DOI
- DOI : 10.13154/tches.v2018.i1.118-141
- Accès au texte intégral et bibtex
-
- titre
- Optimal data fitting: a moment approach
- auteur
- Jean-Bernard Lasserre, Victor Magron
- article
- SIAM Journal on Optimization, 2018, 28 (4), pp.3127-3144. ⟨10.1137/18M1170108⟩
- DOI
- DOI : 10.1137/18M1170108
- Accès au bibtex
-
- titre
- Lower bounds on the number of realizations of rigid graphs
- auteur
- Georg Grasegger, Christoph Koutschan, Elias Tsigaridas
- article
- Experimental Mathematics, 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, In press, 87, pp.176-206. ⟨10.1016/j.jsc.2017.08.001⟩
- DOI
- DOI : 10.1016/j.jsc.2017.08.001
- Accès au texte intégral et bibtex
-
- titre
- A lower bound on the positive semidefinite rank of convex bodies
- auteur
- Hamza Fawzi, Mohab Safey El Din
- article
- SIAM Journal on Applied Algebra and Geometry, 2018, 2 (1), pp.126-139. ⟨10.1137/17M1142570⟩
- DOI
- DOI : 10.1137/17M1142570
- Accès au texte intégral et bibtex
-
- titre
- RealCertify: a Maple package for certifying non-negativity
- auteur
- Victor Magron, Mohab Safey El Din
- article
- ACM Communications in Computer Algebra, 2018, 52 (2), pp.34-37. ⟨10.1145/3282678.3282681⟩
- DOI
- DOI : 10.1145/3282678.3282681
- 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, 2018, 44 (4), pp.41:1--41:18. ⟨10.1145/3206430⟩
- DOI
- DOI : 10.1145/3206430
- Accès au bibtex
-
- titre
- The Complexity of Subdivision for Diameter-Distance Tests
- auteur
- Michael Burr, Shuhong Gao, Elias Tsigaridas
- article
- Journal of Symbolic Computation, In press
- 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, 2018, 86, pp.2279-2314. ⟨10.1007/s10623-017-0449-y⟩
- DOI
- DOI : 10.1007/s10623-017-0449-y
- 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, In press, ⟨10.1016/j.jsc.2017.12.001⟩
- DOI
- DOI : 10.1016/j.jsc.2017.12.001
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- On the Maximal Number of Real Embeddings of Spatial Minimally Rigid Graphs
- auteur
- Evangelos Bartzos, Ioannis Emiris, Jan Legerský, Elias Tsigaridas
- article
- ISSAC '18 International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. pp.55-62, ⟨10.1145/3208976.3208994⟩
- DOI
- DOI : 10.1145/3208976.3208994
- 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., ⟨10.1145/3208976.3209022⟩
- DOI
- DOI : 10.1145/3208976.3209022
- Accès au texte intégral et bibtex
-
- titre
- Towards Mixed Gröbner Basis Algorithms: the Multihomogeneous and Sparse Case
- auteur
- Matías R Bender, Jean-Charles Faugère, Elias Tsigaridas
- article
- ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. ⟨10.1145/3208976.3209018⟩
- DOI
- DOI : 10.1145/3208976.3209018
- 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 the Use of Independent Component Analysis to Denoise Side-Channel Measurements
- auteur
- Houssem Maghrebi, Emmanuel Prouff
- article
- COSADE 2018 - 9th International Workshop on Constructive Side-Channel Analysis and Secure Design, Apr 2018, Singapore, Singapore. pp.61-81, ⟨10.1007/978-3-319-89641-0_4⟩
- DOI
- DOI : 10.1007/978-3-319-89641-0_4
- 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. pp.79-86, ⟨10.1145/3208976.3209017⟩
- DOI
- DOI : 10.1145/3208976.3209017
- 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. pp.279-286, ⟨10.1145/3208976.3208986⟩
- DOI
- DOI : 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. pp.351-358, ⟨10.1145/3208976.3209002⟩
- DOI
- DOI : 10.1145/3208976.3209002
- Accès au texte intégral et bibtex
-
- titre
- Bilinear systems with two supports: Koszul resultant matrices, eigenvalues, and eigenvectors
- auteur
- Matías R Bender, Jean-Charles Faugère, Angelos Mantzaflaris, Elias Tsigaridas
- article
- ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. ⟨10.1145/3208976.3209011⟩
- DOI
- DOI : 10.1145/3208976.3209011
- Accès au texte intégral et bibtex
-
- titre
- Quadratic time algorithm for inversion of binary permutation polynomials
- auteur
- Lucas Barthelemy, Delaram Kahrobaei, Guénaël Renault, Zoran Šunić
- article
- ICMS 2018 - International Congress on Mathematical Software, Jul 2018, South Bend, IN, United States. pp.19-27, ⟨10.1007/978-3-319-96418-8_3⟩
- DOI
- DOI : 10.1007/978-3-319-96418-8_3
- Accès au texte intégral et bibtex
-
2017
Article dans une revue
- titre
- Sparse FGLM algorithms
- auteur
- Jean-Charles Faugère, Chenqi Mou
- article
- Journal of Symbolic Computation, 2017, 80 (3), pp.538 - 569. ⟨10.1016/j.jsc.2016.07.025⟩
- DOI
- DOI : 10.1016/j.jsc.2016.07.025
- 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, 2017, 83 (Supplement C), pp.36-67. ⟨10.1016/j.jsc.2016.11.005⟩
- DOI
- DOI : 10.1016/j.jsc.2016.11.005
- 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), 2017, 63 (6), pp.48:1--48:37. ⟨10.1145/2996450⟩
- DOI
- DOI : 10.1145/2996450
- 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, 2017, ⟨10.1016/j.tcs.2017.03.031⟩
- DOI
- DOI : 10.1016/j.tcs.2017.03.031
- 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, 2017, 681, ⟨10.1016/j.tcs.2017.03.030⟩
- DOI
- DOI : 10.1016/j.tcs.2017.03.030
- 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, 2017
- 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, 2017, 40 (14), pp.5295 - 5306. ⟨10.1002/mma.4387⟩
- DOI
- DOI : 10.1002/mma.4387
- Accès au bibtex
-
Communication dans un congrès
- titre
- The Complexity of an Adaptive Subdivision Method for Approximating Real Curves
- auteur
- Michael Burr, Shuhong Gao, Elias Tsigaridas
- article
- ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.8, ⟨10.1145/3087604.3087654⟩
- DOI
- DOI : 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, ⟨10.1145/3087604.3087653⟩
- DOI
- DOI : 10.1145/3087604.3087653
- Accès au texte intégral et bibtex
-
- titre
- Private Multiplication over Finite Fields
- auteur
- Sonia Belaïd, Fabrice Benhamouda, Alain Passelègue, Emmanuel Prouff, Adrian Thillard, Damien Vergnaud
- article
- Advances in Cryptology - CRYPTO 2017, Aug 2017, Santa Barbara, United States. pp.397-426, ⟨10.1007/978-3-319-63697-9_14⟩
- DOI
- DOI : 10.1007/978-3-319-63697-9_14
- Accès au bibtex
-
- 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
- Resultants and Discriminants for Bivariate Tensor-product Polynomials
- auteur
- Angelos Mantzaflaris, Elias Tsigaridas
- article
- ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Mohab Safey El Din, Jul 2017, Kaiserslautern, Germany. pp.8, ⟨10.1145/3087604.3087646⟩
- DOI
- DOI : 10.1145/3087604.3087646
- Accès au texte intégral et bibtex
-
Autre publication scientifique
- titre
- Algebraic-geometric techniques for the feedback classification and robustness of the optimal control of a pair of Bloch equations with application to Magnetic Resonance Imaging
- auteur
- Bernard Bonnard, Olivier Cots, Jean-Charles Faugère, Alain Jacquemard, Jérémy Rouot, Mohab Safey El Din, Thibaut Verron
- article
- 2017
- Accès au texte intégral et bibtex
-
Brevet
- titre
- Mise en Oeuvre Optimisée du HFE
- auteur
- Ludovic Perret, Jean-Charles Faugère
- article
- France, N° de brevet: WO 2017001809 A1. 2017
- Accès au bibtex
-
Rapport
- titre
- DualModeMS: A Dual Mode for Multivariate-based Signature
- 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
-
- titre
- GeMSS: A Great Multivariate Short Signature
- auteur
- Antoine Casanova, Jean-Charles Faugère, Gilles Macario-Rat, Jacques Patarin, Ludovic Perret, Jocelyn Ryckeghem
- article
- [Research Report] UPMC - Paris 6 Sorbonne Universités; INRIA Paris Research Centre, MAMBA Team, F-75012, Paris, France; LIP6 - Laboratoire d'Informatique de Paris 6. 2017, pp.1-4
- Accès au bibtex
-
Pré-publication, Document de travail
- titre
- 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
-
2016
Article dans une revue
- 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, 2016, 62 (1), pp.184-198. ⟨10.1109/TIT.2015.2493539⟩
- DOI
- DOI : 10.1109/TIT.2015.2493539
- 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, 2016, 74, pp.205-238. ⟨10.1016/j.jsc.2015.06.010⟩
- DOI
- DOI : 10.1016/j.jsc.2015.06.010
- 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, 2016, 26 (4), pp.2512-2539. ⟨10.1137/15M1036543⟩
- DOI
- DOI : 10.1137/15M1036543
- 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, 2016, ⟨10.1007/s10623-016-0250-3⟩
- DOI
- DOI : 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, 2016, pp.1-75. ⟨10.1016/j.jsc.2016.07.031⟩
- DOI
- DOI : 10.1016/j.jsc.2016.07.031
- 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, 2016, 10 (4), pp.479-492. ⟨10.1007/s11786-016-0279-8⟩
- DOI
- DOI : 10.1007/s11786-016-0279-8
- Accès au bibtex
-
- titre
- SLV: a software for real root isolation
- auteur
- Elias Tsigaridas
- article
- ACM Communications in Computer Algebra, 2016, 50 (3), pp.117 - 120. ⟨10.1145/3015306.3015317⟩
- DOI
- DOI : 10.1145/3015306.3015317
- 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, 2016, 76, pp.107-141. ⟨10.1016/j.jsc.2015.12.001⟩
- DOI
- DOI : 10.1016/j.jsc.2015.12.001
- 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⟩
- DOI
- DOI : 10.18409/jas.v7i1.42
- Accès au 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, 2016, 79 (1), pp.87-112. ⟨10.1007/s10623-015-0036-z⟩
- DOI
- DOI : 10.1007/s10623-015-0036-z
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems
- auteur
- Jean-Charles Faugère, Pierre-Jean Spaenlehauer, Jules Svartz
- article
- International Symposium on Symbolic and Algebraic Computation (ISSAC 2016), Jul 2016, Waterloo, Canada. pp.223-230, ⟨10.1145/2930889.2930927⟩
- DOI
- DOI : 10.1145/2930889.2930927
- 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. pp.103-110, ⟨10.1145/2930889.2930916⟩
- DOI
- DOI : 10.1145/2930889.2930916
- Accès au texte intégral et bibtex
-
- titre
- Binary Permutation Polynomial Inversion and Application to Obfuscation Techniques
- auteur
- Lucas Barthelemy, Ninon Eyrolles, Guénaël Renault, Raphaël Roblin
- article
- 2nd International Workshop on Software PROtection, Oct 2016, Vienna, Austria. ⟨10.1145/2995306.2995310⟩
- DOI
- DOI : 10.1145/2995306.2995310
- Accès au texte intégral et bibtex
-
- titre
- Factoring $N=p^r q^s$ for Large $r$ and $s$
- auteur
- Jean-Sébastien Coron, Jean-Charles Faugère, Guénaël Renault, Rina Zeitoun
- article
- RSA Conference Cryptographers' Track , Feb 2016, San Francisco, United States. ⟨10.1007/978-3-319-29485-8_26⟩
- DOI
- DOI : 10.1007/978-3-319-29485-8_26
- Accès au texte intégral et bibtex
-
- titre
- A Superfast Randomized Algorithm to Decompose Binary Forms
- auteur
- Matías R Bender, Jean-Charles Faugère, Ludovic Perret, Elias Tsigaridas
- article
- ISSAC '16 - 41st International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. pp.79-86, ⟨10.1145/2930889.2930896⟩
- DOI
- DOI : 10.1145/2930889.2930896
- Accès au texte intégral et bibtex
-
- titre
- Randomness Complexity of Private Circuits for Multiplication
- auteur
- Sonia Belaïd, 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⟩
- DOI
- DOI : 10.1007/978-3-662-49896-5_22
- Accès au bibtex
-
- titre
- Horizontal Side-Channel Attacks and Countermeasures on the ISW Masking Scheme
- auteur
- Alberto Battistello, Jean-Sébastien Coron, Emmanuel Prouff, Rina Zeitoun
- article
- 18th Conference on Cryptographic Hardware and Embedded Systems (CHES 2016), Aug 2016, Santa Barbara, CA, United States. pp.23 - 39, ⟨10.1007/978-3-662-53140-2_2⟩
- DOI
- DOI : 10.1007/978-3-662-53140-2_2
- 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, ⟨10.1145/2930889.2930926⟩
- DOI
- DOI : 10.1145/2930889.2930926
- 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. pp.498 - 514, ⟨10.1007/978-3-662-53140-2_24⟩
- DOI
- DOI : 10.1007/978-3-662-53140-2_24
- Accès au texte intégral et bibtex
-
- 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⟩
- DOI
- DOI : 10.1109/CDC.2016.7798495
- Accès au texte intégral et bibtex
-
- titre
- On the Bit Complexity of Solving Bilinear Polynomial Systems
- auteur
- Ioannis Z. Emiris, Angelos Mantzaflaris, Elias Tsigaridas
- article
- ISSAC '16 - 41st International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. pp.215-222, ⟨10.1145/2930889.2930919⟩
- DOI
- DOI : 10.1145/2930889.2930919
- 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, Sylvain Lachartre, Fayssal Martani
- article
- 41st International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, ON, Canada. pp.135-142, ⟨10.1145/2930889.2930914⟩
- DOI
- DOI : 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. pp.183--190, ⟨10.1145/2930889.2930929⟩
- DOI
- DOI : 10.1145/2930889.2930929
- 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. pp.1-22, ⟨10.1007/978-3-319-54669-8_1⟩
- DOI
- DOI : 10.1007/978-3-319-54669-8_1
- Accès au 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⟩
- DOI
- DOI : 10.1007/978-3-662-49301-4_20
- Accès au texte intégral et bibtex
-
HDR
- 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
-
- 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
-
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
- Le problème de décompositions de points dans les variétés Jacobiennes
- auteur
- Alexandre Wallet
- article
- Data Structures and Algorithms [cs.DS]. Université Pierre et Marie Curie - Paris VI, 2016. English. ⟨NNT : 2016PA066438⟩
- Accès au texte intégral et bibtex
-
- titre
- Régularisation du calcul de bases de Gröbner pour des systèmes avec poids et déterminantiels, et application en imagerie médicale
- auteur
- Thibaut Verron
- article
- Data Structures and Algorithms [cs.DS]. Université Pierre et Marie Curie - Paris VI, 2016. English. ⟨NNT : 2016PA066355⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- On the p-adic stability of the FGLM algorithm
- auteur
- Guénaël Renault, Tristan Vaccon
- article
- 2016
- Accès au texte intégral et bibtex
-
2015
Article dans une revue
- titre
- On the complexity of the BKW algorithm on LWE
- auteur
- Martin Albrecht, Carlos Cid, Jean-Charles Faugère, Robert Fitzpatrick, Ludovic Perret
- article
- Designs, Codes and Cryptography, 2015, 74 (2), pp.26. ⟨10.1007/s10623-013-9864-x⟩
- DOI
- DOI : 10.1007/s10623-013-9864-x
- 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, 2015, 31 (4), pp.590--616. ⟨10.1016/j.jco.2015.04.001⟩
- DOI
- DOI : 10.1016/j.jco.2015.04.001
- 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, 2015, 74, pp.181-204. ⟨10.1016/j.jsc.2015.06.009⟩
- DOI
- DOI : 10.1016/j.jsc.2015.06.009
- Accès au texte intégral et bibtex
-
- 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, 2015, 70, pp.49--70. ⟨10.1016/j.jsc.2014.09.025⟩
- DOI
- DOI : 10.1016/j.jsc.2014.09.025
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Bounds for the Condition Number of Polynomials Systems with Integer Coefficients
- auteur
- Aaron Herman, Elias Tsigaridas
- article
- CASC, 2015, Aachen, Germany. pp.210--219, ⟨10.1007/978-3-319-24021-3_16⟩
- DOI
- DOI : 10.1007/978-3-319-24021-3_16
- Accès au texte intégral et bibtex
-
- titre
- Enhancing Dimensionality Reduction Methods for Side-Channel Attacks
- auteur
- Eleonora Cagli, Cécile Dumas, Emmanuel Prouff
- article
- 14th Smart Card Research and Advanced Applications Conference (CARDIS 2015), Nov 2015, Bochum, Germany. pp.15 - 33, ⟨10.1007/978-3-319-31271-2_2⟩
- DOI
- DOI : 10.1007/978-3-319-31271-2_2
- 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
- ACA 2015 - Applications of Computer Algebra, Jul 2015, Kalamata, Greece. pp.425-445, ⟨10.1007/978-3-319-56932-1_27⟩
- DOI
- DOI : 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, ⟨10.1145/2755996.2756673⟩
- DOI
- DOI : 10.1145/2755996.2756673
- 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. pp.221-228, ⟨10.1145/2755996.2756667⟩
- DOI
- DOI : 10.1145/2755996.2756667
- 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. pp.20-32, ⟨10.1007/978-3-319-24537-9_3⟩
- DOI
- DOI : 10.1007/978-3-319-24537-9_3
- Accès au bibtex
-
- titre
- Probabilistic Algorithm for Computing the Dimension of Real Algebraic Sets
- auteur
- Ivan Bannwarth, Mohab Safey El Din
- article
- ISSAC'15 - 40th International Symposium on Symbolic and Algebraic Computation, Jul 2015, Bath, United Kingdom. pp.37-44, ⟨10.1145/2755996.2756670⟩
- DOI
- DOI : 10.1145/2755996.2756670
- 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
- Optimizing a Parametric Linear Function over a Non-compact Real Algebraic Variety
- auteur
- Feng Guo, Mohab Safey El Din, Wang Chu, Lihong Zhi
- article
- The 2015 ACM on International Symposium on Symbolic and Algebraic Computation, Jul 2015, Bath, United Kingdom. pp.205-212, ⟨10.1145/2755996.2756666⟩
- DOI
- DOI : 10.1145/2755996.2756666
- Accès au bibtex
-
- titre
- Improved Sieving on Algebraic Curves
- auteur
- Vanessa Vitse, Alexandre Wallet
- article
- LATINCRYPT 2015, 4th International Conference on Cryptology and Information Security in Latin America, Aug 2015, Guadalajara, Mexico. pp.295-307, ⟨10.1007/978-3-319-22174-8_16⟩
- DOI
- DOI : 10.1007/978-3-319-22174-8_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
-
Thèse
- titre
- Sécurités algébrique et physique en cryptographie fondée sur les codes correcteurs d'erreurs
- auteur
- Frédéric Urvoy de Portzamparc
- article
- Other [cs.OH]. Université Pierre et Marie Curie - Paris VI, 2015. English. ⟨NNT : 2015PA066106⟩
- Accès au texte intégral et bibtex
-
- titre
- Méthodes algébriques pour l'analyse de sécurité des implantations d'algorithmes cryptographiques
- auteur
- Rina Zeitoun
- article
- Cryptography and Security [cs.CR]. Université Pierre et Marie Curie - Paris VI, 2015. English. ⟨NNT : 2015PA066310⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- Mobile 4R and 5R loops
- auteur
- Daniel Lazard
- article
- 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
- 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, 2014, 14 (6), pp.1117 - 1172. ⟨10.1007/s10208-014-9212-1⟩
- DOI
- DOI : 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, 2014, 54, pp.48-58. ⟨10.1016/j.jmateco.2014.08.007⟩
- DOI
- DOI : 10.1016/j.jmateco.2014.08.007
- Accès au bibtex
-
- titre
- Probabilistic Algorithm for Polynomial Optimization over a Real Algebraic Set
- auteur
- Aurélien Greuet, Mohab Safey El Din
- article
- SIAM Journal on Optimization, 2014, 24 (3), pp.1313-1343. ⟨10.1137/130931308⟩
- DOI
- DOI : 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, 2014, 30 (4), pp.430-443. ⟨10.1016/j.jco.2014.02.005⟩
- DOI
- DOI : 10.1016/j.jco.2014.02.005
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Computing necessary integrability conditions for planar parametrized homogeneous potentials
- auteur
- Alin Bostan, Thierry Combot, Mohab Safey El Din
- article
- ISSAC'14 - International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan. pp.67-74, ⟨10.1145/2608628.2608662⟩
- DOI
- DOI : 10.1145/2608628.2608662
- 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. ⟨10.1145/2608628.2608663⟩
- DOI
- DOI : 10.1145/2608628.2608663
- 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
- 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
- Accès au bibtex
-
- titre
- Practical Cryptanalysis of a Public-Key Encryption Scheme Based on New Multivariate Quadratic Assumptions
- auteur
- Martin Albrecht, Jean-Charles Faugère, Robert Fitzpatrick, Ludovic Perret, Yosuke Todo, Keita Xagawa
- article
- PKC 2014 - 17th International Conference on Practice and Theory in Public-Key Cryptography, Mar 2014, Buenos Aires, Argentina
- Accès au texte intégral et bibtex
-
- titre
- Sub-cubic Change of Ordering for Gröner Basis: A Probabilistic Approach
- auteur
- Jean-Charles Faugère, Pierrick Gaudry, Louise Huot, Guénaël Renault
- article
- ISSAC '14 - 39th International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan. pp.170--177, ⟨10.1145/2608628.2608669⟩
- DOI
- DOI : 10.1145/2608628.2608669
- 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. pp.437-451, ⟨10.1007/978-3-662-43799-5_29⟩
- DOI
- DOI : 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. pp.21-30, ⟨10.1145/2631948.2631954⟩
- DOI
- DOI : 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. pp.132-134, ⟨10.1145/2631948.2631973⟩
- DOI
- DOI : 10.1145/2631948.2631973
- Accès au texte intégral et bibtex
-
- titre
- Symmetrized summation polynomials: using small order torsion points to speed up elliptic curve index calculus
- auteur
- Jean-Charles Faugère, Louise Huot, Antoine Joux, Guénaël Renault, Vanessa Vitse
- article
- EUROCRYPT 2014 - 33rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, May 2014, Copenhagen, Denmark. pp.40-57, ⟨10.1007/978-3-642-55220-5_3⟩
- DOI
- DOI : 10.1007/978-3-642-55220-5_3
- 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
- PKC 2014 - 17th IACR International Conference on Practice and Theory of Public-Key Cryptography, Mar 2014, Buenos Aires, Argentina. pp.185-202, ⟨10.1007/978-3-642-54631-0_11⟩
- DOI
- DOI : 10.1007/978-3-642-54631-0_11
- Accès au texte intégral et bibtex
-
- titre
- Algebraic Attack against Variants of McEliece with Goppa Polynomial of a Special Form
- auteur
- Jean-Charles Faugère, Ludovic Perret, Frédéric de Portzamparc
- article
- Advances in Cryptology Asiacrypt 2014, Dec 2014, Kaohsiung, Taiwan. pp.21-41, ⟨10.1007/978-3-662-45611-8_2⟩
- DOI
- DOI : 10.1007/978-3-662-45611-8_2
- Accès au texte intégral et bibtex
-
N°spécial de revue/special issue
- titre
- Mathematical and computer algebra techniques in cryptology
- auteur
- Jean-Charles Faugère, Domingo Gómez-Pérez, Jaime Gutierrez, Ludovic Perret
- article
- Journal of Symbolic Computation, 64, pp.1-88, 2014, ⟨10.1016/j.jsc.2013.12.001⟩
- DOI
- DOI : 10.1016/j.jsc.2013.12.001
- Accès au bibtex
-
Thèse
- titre
- Résolution de systèmes polynomiaux structurés de dimension zéro.
- auteur
- Jules Svartz
- article
- Computational Geometry [cs.CG]. Université Pierre et Marie Curie - Paris VI, 2014. English. ⟨NNT : 2014PA066621⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- 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
- 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
-
2013
Article dans une revue
- 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, 2013, 59 (10), pp.6830-6844. ⟨10.1109/TIT.2013.2272036⟩
- DOI
- DOI : 10.1109/TIT.2013.2272036
- 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, 2013, Special Focus on Mathematics, Data and Knowledge, 7 (4), pp.439-454. ⟨10.1007/s11786-013-0167-4⟩
- DOI
- DOI : 10.1007/s11786-013-0167-4
- Accès au 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, 2013, pp.1-40. ⟨10.1007/s00145-013-9158-5⟩
- DOI
- DOI : 10.1007/s00145-013-9158-5
- Accès au texte intégral et 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, 2013, 17 (5), pp.503-514. ⟨10.1016/j.media.2013.03.004⟩
- DOI
- DOI : 10.1016/j.media.2013.03.004
- Accès au bibtex
-
- titre
- Improving Angular Speed Uniformity by Reparameterization
- auteur
- Jing Yang, Dongming Wang, Hoon Hong
- article
- Computer Aided Geometric Design, 2013, 30 (7), pp.636-652. ⟨10.1016/j.cagd.2013.04.001⟩
- DOI
- DOI : 10.1016/j.cagd.2013.04.001
- Accès au bibtex
-
- titre
- An analysis of inhomogeneous signature-based Gröbner basis computations
- auteur
- Christian Eder
- article
- Journal of Symbolic Computation, 2013, 59, pp.21--35. ⟨10.1016/j.jsc.2013.08.001⟩
- DOI
- DOI : 10.1016/j.jsc.2013.08.001
- Accès au 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, 2013, 55, pp.30-58. ⟨10.1016/j.jsc.2013.03.004⟩
- DOI
- DOI : 10.1016/j.jsc.2013.03.004
- 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, 2013, 23 (1), pp.241--255
- 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, 2013, ⟨10.1016/j.dam.2013.05.008⟩
- DOI
- DOI : 10.1016/j.dam.2013.05.008
- Accès au texte intégral et 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, 2013, ⟨10.1016/j.cagd.2013.06.005⟩
- DOI
- DOI : 10.1016/j.cagd.2013.06.005
- Accès au texte intégral et 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, 2013, 29 (1), pp.53-75. ⟨10.1016/j.jco.2012.07.001⟩
- DOI
- DOI : 10.1016/j.jco.2012.07.001
- Accès au bibtex
-
- titre
- Improving incremental signature-based Gröbner basis algorithms
- auteur
- Christian Eder
- article
- ACM Communications in Computer Algebra, 2013, 47 (1), pp.1-13. ⟨10.1145/2503697.2503699⟩
- DOI
- DOI : 10.1145/2503697.2503699
- Accès au bibtex
-
- titre
- Foreword to the Special Focus on Mathematics, Data and Knowledge
- auteur
- Xiaoyu Chen, Dongming Wang, Xiangliang Zhang
- article
- Mathematics in Computer Science, 2013, Special Focus on Mathematics, Data and Knowledge, 7 (4), pp.379-386. ⟨10.1007/s11786-013-0169-2⟩
- DOI
- DOI : 10.1007/s11786-013-0169-2
- 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, 2013, 69 (1), pp.1 - 52. ⟨10.1007/s10623-012-9617-2⟩
- DOI
- DOI : 10.1007/s10623-012-9617-2
- Accès au texte intégral et 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, 2013, 468, pp.102-113. ⟨10.1016/j.tcs.2012.11.009⟩
- DOI
- DOI : 10.1016/j.tcs.2012.11.009
- Accès au bibtex
-
- 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, 2013, 24 (6), pp.413-443. ⟨10.1007/s00200-013-0200-5⟩
- DOI
- DOI : 10.1007/s00200-013-0200-5
- 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, 2013, 50, pp.431-449. ⟨10.1016/j.jsc.2012.04.004⟩
- DOI
- DOI : 10.1016/j.jsc.2012.04.004
- 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, 2013, 56 (10), pp.108101:1-108101:22. ⟨10.1007/s11432-013-4924-4⟩
- DOI
- DOI : 10.1007/s11432-013-4924-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. pp.45-61, ⟨10.1007/978-3-319-04873-4_3⟩
- DOI
- DOI : 10.1007/978-3-319-04873-4_3
- Accès au bibtex
-
- titre
- Critical Point Methods and Effective Real Algebraic Geometry: New Results and Trends
- auteur
- Mohab Safey El Din
- article
- ISSAC 2013 - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. pp.5-6, ⟨10.1145/2465506.2465928⟩
- DOI
- DOI : 10.1145/2465506.2465928
- 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. pp.347-354, ⟨10.1145/2465506.2465944⟩
- DOI
- DOI : 10.1145/2465506.2465944
- 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
- 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. pp.189-196, ⟨10.1145/2465506.2465943⟩
- DOI
- DOI : 10.1145/2465506.2465943
- Accès au texte intégral et bibtex
-
- titre
- Signature Rewriting in Gröbner Basis Computation
- auteur
- Christian Eder, Bjarke Hammersholt Roune
- article
- ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. pp.331-338, ⟨10.1145/2465506.2465522⟩
- DOI
- DOI : 10.1145/2465506.2465522
- Accès au texte intégral et bibtex
-
- titre
- On the Boolean complexity of real root refinement
- auteur
- Victor Y. Pan, Elias Tsigaridas
- article
- ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. ⟨10.1145/2465506.2465938⟩
- DOI
- DOI : 10.1145/2465506.2465938
- 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
- PKC 2013 - Public-Key Cryptography, Feb 2013, Nara, Japan. pp.198-215, ⟨10.1007/978-3-642-36362-7_13⟩
- DOI
- DOI : 10.1007/978-3-642-36362-7_13
- Accès au texte intégral et bibtex
-
Thèse
- 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. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Résolution de systèmes polynomiaux et cryptologie sur les courbes elliptiques
- auteur
- Louise Huot
- article
- Symbolic Computation [cs.SC]. Université Pierre et Marie Curie - Paris VI, 2013. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- No data
- auteur
- Chenqi Mou
- article
- Symbolic Computation [cs.SC]. Université Pierre et Marie Curie, 2013. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- Decomposition of multihomogeneous polynomials: minimal number of variables
- auteur
- Jérémy Berthomieu
- article
- 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
- 2013
- Accès au texte intégral et bibtex
-
- titre
- Polynomial Systems Solving by Fast Linear Algebra
- auteur
- Jean-Charles Faugère, Pierrick Gaudry, Louise Huot, Guénaël Renault
- article
- 2013
- Accès au texte intégral et bibtex
-
2012
Article dans une revue
- 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, 2012, 2 (1), pp.45-62. ⟨10.1007/s13389-012-0028-0⟩
- DOI
- DOI : 10.1007/s13389-012-0028-0
- 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, 2012, 47 (5), pp.503-518. ⟨10.1016/j.jsc.2011.12.003⟩
- DOI
- DOI : 10.1016/j.jsc.2011.12.003
- Accès au texte intégral et bibtex
-
- 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⟩
- DOI
- DOI : 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, 2012, pp.1-12
- 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, 2012, 32 (1), pp.15-26
- Accès au bibtex
-
- titre
- GeoText: An Intelligent Dynamic Geometry Textbook (Extended Abstract)
- auteur
- Xiaoyu Chen, Dongming Wang, Ting Zhao
- article
- ACM Communications in Computer Algebra, 2012, 46 (4), pp.171-175. ⟨10.1145/2429135.2429175⟩
- DOI
- DOI : 10.1145/2429135.2429175
- 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, 2012, 85 (10), pp.1414-1421. ⟨10.1080/00207179.2012.686633⟩
- DOI
- DOI : 10.1080/00207179.2012.686633
- 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, 2012, 47 (8), pp.926-941. ⟨10.1016/j.jsc.2012.01.002⟩
- DOI
- DOI : 10.1016/j.jsc.2012.01.002
- 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, 2012, 6 (3), pp.217-233. ⟨10.1007/s11786-012-0112-y⟩
- DOI
- DOI : 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, 2012, 219 (1), pp.108-121. ⟨10.1016/j.amc.2012.04.087⟩
- DOI
- DOI : 10.1016/j.amc.2012.04.087
- Accès au 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, 2012, 18 (2), pp.283-302. ⟨10.1016/j.ffa.2011.09.001⟩
- DOI
- DOI : 10.1016/j.ffa.2011.09.001
- 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, 2012, 73, pp.43-57. ⟨10.1016/j.datak.2011.10.004⟩
- DOI
- DOI : 10.1016/j.datak.2011.10.004
- Accès au bibtex
-
- titre
- Variant Quantifier Elimination
- auteur
- Hoon Hong, Mohab Safey El Din
- article
- Journal of Symbolic Computation, 2012, International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), 47 (7), pp.883-901. ⟨10.1016/j.jsc.2011.05.014⟩
- DOI
- DOI : 10.1016/j.jsc.2011.05.014
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Improving the Complexity of Index Calculus Algorithms in Elliptic Curves over Binary Fields
- auteur
- Jean-Charles Faugère, Ludovic Perret, Christophe Petit, Guénaël Renault
- article
- Eurocrypt 2012 - 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Apr 2012, Cambridge, United Kingdom. pp.27-44, ⟨10.1007/978-3-642-29011-4_4⟩
- DOI
- DOI : 10.1007/978-3-642-29011-4_4
- 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. pp.67--74, ⟨10.1145/2442829.2442843⟩
- DOI
- DOI : 10.1145/2442829.2442843
- Accès au texte intégral et bibtex
-
- titre
- Improving Angular Speed Uniformity by C¹ Piecewise Reparameterization
- auteur
- Jing Yang, Dongming Wang, Hoon Hong
- article
- ADG 2012 - 9th International Workshop Automated Deduction in Geometry, Sep 2012, Edinburgh, United Kingdom. pp.33-47, ⟨10.1007/978-3-642-40672-0_3⟩
- DOI
- DOI : 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
- ADG 2012 - 9th International Workshop Automated Deduction in Geometry, Sep 2012, Edinburgh, United Kingdom. pp.31-32, ⟨10.1007/978-3-642-40672-0_2⟩
- DOI
- DOI : 10.1007/978-3-642-40672-0_2
- 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
- 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, ⟨10.1145/2442829.2442838⟩
- DOI
- DOI : 10.1145/2442829.2442838
- Accès au texte intégral et bibtex
-
- titre
- Local Generic Position for Root Isolation of Zero-dimensional Triangular Polynomial Systems
- auteur
- Jia Li, Jinsan Cheng, Elias Tsigaridas
- article
- CASC 2012 - 14th International Workshop on Computer Algebra in Scientific Computing, Sep 2012, Maribor, Slovenia. pp.186-197, ⟨10.1007/978-3-642-32973-9_16⟩
- DOI
- DOI : 10.1007/978-3-642-32973-9_16
- 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, ACM, Jul 2012, Grenoble, France. pp.170-178, ⟨10.1145/2442829.2442856⟩
- DOI
- DOI : 10.1145/2442829.2442856
- 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. pp.343-350, ⟨10.1145/2442829.2442878⟩
- DOI
- DOI : 10.1145/2442829.2442878
- 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
- Selected Areas in Cryptography, Aug 2012, Windsor, Canada. pp.252-274, ⟨10.1007/978-3-642-35999-6_17⟩
- DOI
- DOI : 10.1007/978-3-642-35999-6_17
- 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, ⟨10.1145/2245276.2245297⟩
- DOI
- DOI : 10.1145/2245276.2245297
- 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. pp.162-169, ⟨10.1145/2442829.2442855⟩
- DOI
- DOI : 10.1145/2442829.2442855
- Accès au bibtex
-
- titre
- Using Symmetries and Fast Change of Ordering in the Index Calculus for Elliptic Curves Discrete Logarithm
- auteur
- Jean-Charles Faugère, Pierrick Gaudry, Louise Huot, Guénaël Renault
- article
- SCC 2012 - Third international conference on Symbolic Computation and Cryptography, Jul 2012, Castro Urdiales, Spain. pp.113-118
- Accès au bibtex
-
- titre
- On the complexity of the Arora-Ge Algorithm against LWE
- auteur
- Martin Albrecht, Carlos Cid, Jean-Charles Faugère, Robert Fitzpatrick, Ludovic Perret
- article
- SCC 2012 -- Third international conference on Symbolic Computation and Cryptography, Jul 2012, Castro Urdiales, Spain. pp.93-99
- Accès au texte intégral et bibtex
-
- titre
- Quasi-optimal multiplication of linear differential operators
- auteur
- Alexandre Benoit, Alin Bostan, Joris van der Hoeven
- article
- FOCS 2012 - IEEE 53rd Annual Symposium on Foundations of Computer Science, Oct 2012, New Brunswick, United States. pp.524-530, ⟨10.1109/FOCS.2012.57⟩
- DOI
- DOI : 10.1109/FOCS.2012.57
- 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. pp.1-15, ⟨10.1007/978-3-642-35999-6_1⟩
- DOI
- DOI : 10.1007/978-3-642-35999-6_1
- 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. pp.432-437, ⟨10.1007/978-3-642-31374-5_31⟩
- DOI
- DOI : 10.1007/978-3-642-31374-5_31
- 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. pp.349-360, ⟨10.1007/978-3-642-32973-9_29⟩
- DOI
- DOI : 10.1007/978-3-642-32973-9_29
- Accès au 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. 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⟩
- DOI
- DOI : 10.1007/978-1-4614-5128-0_2
- Accès au texte intégral et bibtex
-
Thèse
- titre
- Résolution de systèmes multi-homogènes et déterminantiels : algorithmes, complexité, applications.
- auteur
- Pierre-Jean Spaenlehauer
- article
- Symbolic Computation [cs.SC]. Université Pierre et Marie Curie (Univ. Paris 6), 2012. English. ⟨NNT : ⟩
- 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, 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
- Trusted Systems - The Third International Conference on Trusted Systems - INTRUST 2011, Nov 2011, Beijing, China. pp.184-203, ⟨10.1007/978-3-642-32298-3_13⟩
- DOI
- DOI : 10.1007/978-3-642-32298-3_13
- Accès au texte intégral et bibtex
-