Publications HAL du labo/EPI PolSys

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
https://hal.sorbonne-universite.fr/hal-03698213/file/Firenze_Paris.pdf 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
https://hal.sorbonne-universite.fr/hal-03508000/file/rmconnect.pdf 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
https://arxiv.org/pdf/2205.14450 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
https://hal.science/hal-03899373/file/main.pdf 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
https://hal.science/hal-04003633/file/putinar_hypercube.pdf 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
https://hal.science/hal-04628273/file/root.pdf 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
https://hal.science/hal-03380258/file/Faster%20Modular%20Composition.pdf 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
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
https://hal.science/hal-04215978/file/paper.pdf 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
https://hal.science/hal-04440914/file/paper_issac_revise.pdf 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
https://hal.science/hal-04466417/file/paper.pdf 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
https://arxiv.org/pdf/2405.10578 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
https://hal.science/hal-04454309/file/paper.pdf 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
https://cnrs.hal.science/hal-04445355/file/krylovunchained.pdf 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
https://hal.sorbonne-universite.fr/hal-04293399/file/2023-1760.pdf 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
https://hal.science/hal-04450728/file/ISSAC24_Final.pdf 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
https://hal.science/hal-04722437/file/poster-qsnp.pdf 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
https://hal.science/hal-04453298/file/note.pdf 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
https://hal.science/hal-04591610/file/main.pdf 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
https://hal.science/hal-04639107/file/2407.06017v1.pdf 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
https://hal.science/hal-04597228/file/paper_longinetti_naldi_venturi_giugno_2.pdf 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
https://hal.science/hal-04439518/file/PrSaSc2024.pdf BibTex
titre
Singular points of UOV and VOX
auteur
Pierre Pébereau
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04454521/file/2024-219.pdf 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
https://hal.science/hal-04663959/file/Slaying_The_Monster__SDLP_.pdf 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
https://hal.sorbonne-universite.fr/hal-04804486/file/main.pdf 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
https://hal.science/hal-04663472/file/Whitney_Without_Primary_Decomp.pdf 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
https://hal.science/hal-04591613/file/paper.pdf 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
https://arxiv.org/pdf/2107.11825 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
https://hal.science/hal-03389500/file/main.pdf 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
https://hal.science/hal-03671432/file/MSIA_2023__12_1_175_0.pdf 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
https://hal.sorbonne-universite.fr/hal-02927636/file/hal-critpoint-main.pdf 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
https://hal.sorbonne-universite.fr/hal-04117304/file/main.pdf 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
https://hal.science/hal-03590675/file/sgb_nondegen.pdf 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
https://hal.science/hal-04360582/file/log_conc_arx.pdf 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
https://hal.science/hal-04107694/file/eprint_v2.pdf 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
https://inria.hal.science/hal-03979664/file/BoNeYu23.pdf 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
https://arxiv.org/pdf/2304.12900 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
https://hal.sorbonne-universite.fr/hal-03983184/file/DeterminantalF5.pdf 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
https://inria.hal.science/hal-03978089/file/reviewed_BoNoSa2023--HAL-ARXIV.pdf 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
https://hal.science/hal-04000248/file/arxiv_version.pdf 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
https://hal.science/hal-04000614/file/algcurves-merged.pdf 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
https://hal.sorbonne-universite.fr/tel-04289532/file/hdr_berthomieu%20%281%29.pdf 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
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
https://theses.hal.science/tel-04591449/file/143213_PREBET_2023_archivage.pdf 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
https://theses.hal.science/tel-04137262/file/GARCIA_FONTAN_Jorge_theseV2_2023.pdf 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
https://hal.sorbonne-universite.fr/hal-04363379/file/2309.13928.pdf BibTex
titre
Faster List Decoding of AG Codes
auteur
Peter Beelen, Vincent Neiger
article
2023
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-04069465/file/ag-decoding-faster.pdf 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
https://laas.hal.science/hal-03987123/file/exactmoments.pdf 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
https://hal.sorbonne-universite.fr/hal-03590430/file/new_saturation.pdf 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
https://hal.sorbonne-universite.fr/hal-03214157/file/CombDetv2.pdf 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
https://hal.science/hal-03654665/file/WHOP.pdf 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
https://hal.science/hal-04360559/file/ConvexSFS.pdf 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
https://hal.science/hal-03499974/file/P4L_HALversion.pdf 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
https://hal.sorbonne-universite.fr/hal-02935550/file/structured_recurrences.pdf 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
https://inria.hal.science/hal-01935229/file/main.pdf 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
https://hal.science/hal-03029441/file/mainRRC.pdf 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
https://hal.science/hal-03283378/file/hyperplanesections.pdf 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
https://hal.science/hal-02905816/file/main.pdf 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
https://hal.sorbonne-universite.fr/hal-03573833/file/symdet.pdf 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
https://hal.science/hal-03580860/file/issac22.pdf 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
https://inria.hal.science/hal-03616406/file/BoChNoSa22-hal-v2.pdf 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
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
https://arxiv.org/pdf/2202.06544 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
https://hal.science/hal-03596704/file/main.pdf 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
https://hal.science/hal-03580736/file/fast-change-of-order.pdf 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
https://theses.hal.science/tel-03880959/file/FERGUSON_Andrew_these_2022.pdf 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
https://theses.hal.science/tel-04124402/file/VU_Trung_Hieu_these_2022.pdf 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
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
https://hal.sorbonne-universite.fr/hal-03598352/file/main.pdf 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
https://hal.science/hal-03590187/file/mainiso.pdf 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
https://hal.science/hal-02929626/file/abstract.pdf 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
https://hal.sorbonne-universite.fr/hal-02862629/file/S0890540120300687.pdf 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
https://laas.hal.science/hal-03121215/file/Exact-algorithm-V3-JSC.pdf 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
https://hal.science/hal-03070525/file/main.pdf 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
https://hal.sorbonne-universite.fr/hal-02927630/file/hal-column-support-main.pdf 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
https://hal.science/hal-01907777/file/tensorDecomposition.pdf 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
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
https://hal.science/hal-01935727/file/S0747717121000249.pdf 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
https://inria.hal.science/hal-01719170/file/all.pdf 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
https://inria.hal.science/hal-02099556/file/emt-bhomo-jsc.pdf 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
https://inria.hal.science/hal-03236344/file/2bilinear.pdf 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
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
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
https://hal.science/hal-03002431/file/POP_210714.pdf 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
https://hal.sorbonne-universite.fr/hal-03191666/file/main.pdf 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
https://hal.science/hal-03180730/file/main.pdf 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
https://inria.hal.science/hal-03232068/file/real-algebraic-dimension.pdf 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
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
https://theses.hal.science/tel-03882037/file/LE_Huu_Phuoc_these_2021.pdf 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
https://hal.sorbonne-universite.fr/hal-03188279/file/main.pdf BibTex
titre
Degree of a polynomial ideal and Bézout inequalities
auteur
Daniel Lazard
article
2021
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02897419/file/Bezout%20draft.pdf 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
https://hal.science/hal-01159210/file/newlowrank.pdf 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
https://hal.sorbonne-universite.fr/hal-02925505/file/interaction.pdf 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
https://inria.hal.science/hal-01654263/file/bmt-j-bivar.pdf 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
https://inria.hal.science/hal-01805478/file/main.pdf 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
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
https://inria.hal.science/hal-01105276/file/emt-dmm-j.pdf 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
https://hal.sorbonne-universite.fr/hal-02468977/file/PolyVIs_200206.pdf 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
https://cea.hal.science/cea-03483683/file/preprint%20Deep%20Learning%20Side-Channel%20Analysis%20on%20Large-Scale%20Traces.pdf 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
https://hal.sorbonne-universite.fr/hal-02925478/file/casasc20.pdf 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
https://hal.science/hal-02984491/file/2020-786.pdf 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
https://hal.science/hal-02920059/file/arxiv.pdf 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
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
https://theses.hal.science/tel-03098694/file/VU_Thi_Xuan_these_2020.pdf 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
https://theses.hal.science/tel-03460923/file/CHAKRABORTY_Olive_2020.pdf 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
https://arxiv.org/pdf/1807.00754 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
https://laas.hal.science/hal-01393022/file/spectra-more.pdf 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
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
https://hal.science/hal-02425261/file/main.pdf 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
https://hal.science/hal-01538729/file/1706.03941.pdf 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
https://hal.science/hal-02271782/file/maximal_real_belt_HAL.pdf 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
https://arxiv.org/pdf/1802.04385 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
https://hal.science/hal-02395052/file/KOPRTV.pdf 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
https://inria.hal.science/hal-03173902/file/492809_1_En_5_Chapter.pdf 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
https://hal.science/hal-02110556/file/volumes.pdf 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
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
https://inria.hal.science/hal-02002689/file/sparseF5.pdf 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
https://hal.sorbonne-universite.fr/hal-02389747/file/software_toolkit.pdf 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
https://hal.science/hal-02139910/file/keyreuseresilience.pdf 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
https://theses.hal.science/tel-02935894/file/these_bender_matias_rafael_2019.pdf 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
https://arxiv.org/pdf/1712.07211 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
https://hal.science/hal-01973360/file/2017-918.pdf 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
https://arxiv.org/pdf/1802.03259 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
https://inria.hal.science/hal-01711441/file/lowerbounds_web.pdf 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
https://inria.hal.science/hal-01319729/file/bit-multi-homo.pdf 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
https://inria.hal.science/hal-01657849/file/lower_bound_psdrank_revised.pdf 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
https://arxiv.org/pdf/1805.02201 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
https://arxiv.org/pdf/1611.01318 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
https://inria.hal.science/hal-01953446/file/PV%20Paper.pdf 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
https://inria.hal.science/hal-01658573/file/HyperSum.pdf 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
https://inria.hal.science/hal-01248390/file/st-rsef-jsc.pdf 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
https://hal.science/hal-01710518/file/On%20the%20maximal%20number%20of%20real%20embeddings%20of%20spatial%20minimally%20rigid%20graphs.pdf 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
https://hal.science/hal-01705590/file/degSDP.pdf 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
https://inria.hal.science/hal-01787423/file/sparsegbHAL.pdf 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
https://inria.hal.science/hal-01819106/file/rie-sa-18.pdf 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
https://hal.science/hal-01973322/file/2018-177.pdf 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
https://inria.hal.science/hal-01784369/file/main%20%282%29.pdf 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
https://arxiv.org/pdf/1802.10339 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
https://inria.hal.science/hal-01956596/file/SaYaZhi18.pdf 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
https://inria.hal.science/hal-01787549/file/2bilinearHAL.pdf 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
https://hal.science/hal-01981320/file/inversion-z2n-lcns.pdf 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
https://inria.hal.science/hal-00807540/file/SparseFGLM.pdf BibTex
titre
Linear Algebra for Computing Gröbner Bases of Linear Recursive Multidimensional Sequences
auteur
Jérémy Berthomieu, Brice Boyer, Jean-Charles Faugère
article
Journal of Symbolic Computation, 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
https://inria.hal.science/hal-01253934/file/main.pdf 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
https://inria.hal.science/hal-00849057/file/roadmaps-JACM-new-hal.pdf 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
https://inria.hal.science/hal-01105263/file/pt-struct-j.pdf BibTex
titre
Accelerated Approximation of the Complex Roots and Factors of a Univariate Polynomial
auteur
Victor Y. Pan, Elias Tsigaridas
article
Theoretical Computer Science, 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
https://inria.hal.science/hal-01105267/file/pt-cr-j.pdf 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
https://inria.hal.science/hal-01456686/file/paper.pdf 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
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
https://inria.hal.science/hal-01528392/file/PVPaper.pdf 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
https://inria.hal.science/hal-01528377/file/srur.pdf 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
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
https://hal.science/hal-01661212/file/740.pdf BibTex
titre
Resultants and Discriminants for Bivariate Tensor-product Polynomials
auteur
Angelos Mantzaflaris, Elias Tsigaridas
article
ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, 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
https://inria.hal.science/hal-01525560/file/bivar-tp.pdf 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
https://inria.hal.science/hal-01556806/file/2017-BCFJRSV-submitted.pdf 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
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
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
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
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
https://inria.hal.science/hal-01516708/file/main_part1.pdf 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
https://inria.hal.science/hal-00992389/file/folded_it.pdf 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
https://hal.science/hal-01077888/file/determinant2.pdf 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
https://hal.science/hal-01184320/file/exactLMIarXiv.pdf 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
https://hal.science/hal-01399584/file/dpa-dcc-revision.pdf BibTex
titre
A survey on signature-based algorithms for computing Gröbner basis computations
auteur
Christian Eder, Jean-Charles Faugère
article
Journal of Symbolic Computation, 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
https://inria.hal.science/hal-00974810/file/survey%20%281%29.pdf 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
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
https://inria.hal.science/hal-01422209/file/t-slv.pdf BibTex
titre
On the complexity of computing Gröbner bases for weighted homogeneous systems
auteur
Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron
article
Journal of Symbolic Computation, 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
https://inria.hal.science/hal-01097316/file/main.pdf BibTex
titre
Moment Varieties of Gaussian Mixtures
auteur
Carlos Amendola, Jean-Charles Faugere, Bernd Sturmfels
article
Journal of Algebraic Statistics, 2016, 7 (1), ⟨10.18409/jas.v7i1.42⟩
DOI
DOI : 10.18409/jas.v7i1.42
Accès au bibtex
https://arxiv.org/pdf/1510.04654 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
https://inria.hal.science/hal-00964265/file/210.pdf 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
https://inria.hal.science/hal-01314651/file/fewnomials.pdf 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
https://inria.hal.science/hal-01307073/file/SingulWater.pdf 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
https://inria.hal.science/hal-01388108/file/%5BFinal%5DSubmission6.pdf 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
https://inria.hal.science/hal-01250302/file/Copp16.pdf 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
https://inria.hal.science/hal-01363545/file/binaryFormDecomposition.pdf 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
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
https://hal.science/hal-01399577/file/dpaisw_proce.pdf BibTex
titre
Guessing Linear Recurrence Relations of Sequence Tuples and P-recursive Sequences with Linear Algebra
auteur
Jérémy Berthomieu, Jean-Charles Faugère
article
41st International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, ON, Canada. pp.95-102, ⟨10.1145/2930889.2930926⟩
DOI
DOI : 10.1145/2930889.2930926
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01314266/file/main_HAL.pdf BibTex
titre
Faster Evaluation of SBoxes via Common Shares
auteur
Jean-Sébastien Coron, Aurélien Greuet, Emmanuel Prouff, Rina Zeitoun
article
18th International Conference on Cryptographic Hardware and Embedded Systems (CHES 2016), Aug 2016, Santa Barbara, CA, United States. 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
https://hal.science/hal-01399578/file/pararp_proce.pdf 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
https://inria.hal.science/hal-01287290/file/CDC_MRI.pdf 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
https://inria.hal.science/hal-01401134/file/bilinear.pdf 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
https://inria.hal.science/hal-01276346/file/groblin.pdf BibTex
titre
Critical Point Computations on Smooth Varieties: Degree and Complexity bounds
auteur
Mohab Safey El Din, Pierre-Jean Spaenlehauer
article
International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2016, Waterloo, Canada. pp.183--190, ⟨10.1145/2930889.2930929⟩
DOI
DOI : 10.1145/2930889.2930929
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01312750/file/main.pdf BibTex
titre
Kernel Discriminant Analysis for Information Extraction in the Presence of Masking
auteur
Eleonora Cagli, Cécile Dumas, Emmanuel Prouff
article
CARDIS 2016 - 15th International Conference on Smart Card Research and Advanced Applications, Nov 2016, Cannes, France. 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
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
https://hal.science/hal-01399573/file/article_Kahn_final.pdf 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
https://hal.science/tel-01416242/file/HDR_RENAULT.pdf 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
https://theses.hal.science/tel-01417808/file/Hdr_LudovicPerret.pdf BibTex

Mémoire d'étudiant

titre
Algèbre linéaire dédiée pour les algorithmes Scalar-FGLM et Berlekamp-Massey-Sakata
auteur
Vincent Guisse
article
Calcul formel [cs.SC]. 2016
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01516249/file/rapport.pdf 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
https://theses.hal.science/tel-01407675/file/these_archivage_3369541.pdf 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
https://theses.hal.science/tel-01404406/file/2016PA066355a.pdf 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
https://hal.science/hal-01266071/file/fglmp.pdf 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
https://inria.hal.science/hal-00921517/file/636.pdf BibTex
titre
Polynomial-Time Algorithms for Quadratic Isomorphism of Polynomials: The Regular Case
auteur
Jérémy Berthomieu, Jean-Charles Faugère, Ludovic Perret
article
Journal of Complexity, 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
https://inria.hal.science/hal-00846041/file/Final.pdf 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
https://inria.hal.science/hal-00960896/file/pt-refine-jsc.pdf 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
https://inria.hal.science/hal-01064519/file/analyseF5.pdf 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
https://inria.hal.science/hal-01248389/file/dmm-cond.pdf 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
https://hal.science/hal-01399580/file/Cardis2015_CDP_Enhancing_Dimensionality_Reduction_SCA.pdf 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
https://inria.hal.science/hal-01001820/file/st-rs-log%20%281%29.pdf https://inria.hal.science/hal-01001820/file/st-rs-log.pdf BibTex
titre
Linear Algebra for Computing Gröbner Bases of Linear Recursive Multidimensional Sequences
auteur
Jérémy Berthomieu, Brice Boyer, Jean-Charles Faugère
article
40th International Symposium on Symbolic and Algebraic Computation, Jul 2015, Bath, United Kingdom. pp.61--68, ⟨10.1145/2755996.2756673⟩
DOI
DOI : 10.1145/2755996.2756673
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01237861/file/BMS-HAL.pdf 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
https://hal.science/hal-01114378/file/hankel.pdf BibTex
titre
Polynomial Interrupt Timed Automata
auteur
Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas
article
The 9th Workshop on Reachability Problems (RP'15), Sep 2015, Warsaw, Poland. 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
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
https://hal.science/hal-01152751/file/HAL_issac_2015.pdf BibTex
titre
Algebraic Cryptanalysis of a Quantum Money Scheme The Noise-Free Case
auteur
Marta Conde Pena, Jean-Charles Faugère, Ludovic Perret
article
IACR International Conference on Practice and Theory of Public-Key Cryptography (PKC'15), Mar 2015, Maryland, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01098223/file/hidd_subs.pdf BibTex
titre
A Polynomial-Time Key-Recovery Attack on MQQ Cryptosystems
auteur
Jean-Charles Faugère, Danilo Gligoroski, Ludovic Perret, Samardjiska Simona, Enrico Thomae
article
IACR International Conference on Practice and Theory of Public-Key Cryptography (PKC'15), Mar 2015, Maryland, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01074194/file/811.pdf BibTex
titre
Optimizing a Parametric Linear Function over a Non-compact Real Algebraic Variety
auteur
Feng Guo, Mohab Safey El Din, Wang Chu, Lihong Zhi
article
The 2015 ACM on International Symposium on Symbolic and Algebraic Computation, Jul 2015, Bath, United Kingdom. pp.205-212, ⟨10.1145/2755996.2756666⟩
DOI
DOI : 10.1145/2755996.2756666
Accès au bibtex
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
https://hal.sorbonne-universite.fr/hal-01203086/file/SievingB.pdf BibTex

Chapitre d'ouvrage

titre
Algorithmes efficaces en géométrie algébrique réelle
auteur
Mohab Safey El Din
article
Informatique Mathématique Une photographie en 2015, CNRS Editions, 2015, 978-2-271-08791-1
Accès au bibtex
BibTex

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
https://theses.hal.science/tel-01187916/file/these_archivage_3062112o.pdf 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
https://theses.hal.science/tel-01254443/file/these_archivage_2508377o.pdf 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
https://inria.hal.science/hal-01130254/file/article.pdf BibTex
titre
Simple and Efficient Real Root-finding for a Univariate Polynomial
auteur
Victor Y. Pan, Elias Tsigaridas, Zhao Liang
article
2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01105309/file/ptz-rf-sub.pdf 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
https://inria.hal.science/hal-01096209/file/brss_revised-may-15-2014.pdf BibTex
titre
Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification
auteur
Xiaoliang Li, Dongming Wang
article
Journal of Mathematical Economics, 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
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
https://hal.science/hal-00849523/file/siopt_v2.pdf BibTex
titre
Intrinsic complexity estimates in polynomial optimization
auteur
Bernd Bank, Marc Giusti, Joos Heintz, Mohab Safey El Din
article
Journal of Complexity, 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
https://inria.hal.science/hal-00815123/file/opt_27_01_14.pdf 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
https://inria.hal.science/hal-00994116/file/BoCoSa14-hal.pdf BibTex
titre
Sparse Gröbner Bases: the Unmixed Case
auteur
Jean-Charles Faugère, Pierre-Jean Spaenlehauer, Jules Svartz
article
ISSAC 2014, Jul 2014, Kobe, Japan. ⟨10.1145/2608628.2608663⟩
DOI
DOI : 10.1145/2608628.2608663
Accès au texte intégral et bibtex
https://hal.science/hal-00953501/file/GroebnerCreux.pdf BibTex
titre
Lazy Modulus Switching for the BKW Algorithm on LWE
auteur
Martin Albrecht, Jean-Charles Faugère, Robert Fitzpatrick, Ludovic Perret
article
Public-Key Cryptography - PKC 2014 - 17th International Conference on Practice and Theory in Public-Key Cryptography, Mar 2014, Buenos Aires, Argentina
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00925187/file/bkw-small-secret.pdf BibTex
titre
Structural weakness of compact variants of the McEliece cryptosystem
auteur
Jean-Charles Faugère, Ludovic Perret, Frédéric de Portzamparc, Ayoub Otmani, Jean-Pierre Tillich
article
IEEE International Symposium on Information Theory - ISIT 2014, Jun 2014, Honolulu, United States. pp.1717-1721
Accès au bibtex
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
https://inria.hal.science/hal-00932382/file/mqpkc-lattice.pdf BibTex
titre
Sub-cubic Change of Ordering for Gröner Basis: A Probabilistic Approach
auteur
Jean-Charles Faugère, Pierrick Gaudry, Louise Huot, Guénaël Renault
article
ISSAC '14 - 39th International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan. pp.170--177, ⟨10.1145/2608628.2608669⟩
DOI
DOI : 10.1145/2608628.2608669
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01064551/file/p170-faugere.pdf BibTex
titre
ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves
auteur
Jing Yang, Dongming Wang, Hoon Hong
article
10th Asian Symposium on Computer Mathematics, Oct 2014, Beijing, China. 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
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
https://inria.hal.science/hal-00980591/file/pt-struct-snc.pdf BibTex
titre
Accelerated Approximation of the Complex Roots of a Univariate Polynomial (Extended Abstract)
auteur
Victor Y. Pan, Elias Tsigaridas
article
SNC '14 - Symposium on Symbolic-Numeric Computation, Jul 2014, Shanghai, China. pp.132-134, ⟨10.1145/2631948.2631973⟩
DOI
DOI : 10.1145/2631948.2631973
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00980584/file/pt-cr-snc.pdf 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
https://inria.hal.science/hal-00935050/file/Semaev2torsion.pdf BibTex
titre
Rounding and Chaining LLL: Finding Faster Small Roots of Univariate Polynomial Congruences
auteur
Jingguo Bi, Jean-Sébastien Coron, Jean-Charles Faugère, Phong Q. Nguyen, Guénaël Renault, Rina Zeitoun
article
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
https://inria.hal.science/hal-00926902/file/PKC14_Copp.pdf 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
https://inria.hal.science/hal-01064687/file/algebraic_wild.pdf 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
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
https://theses.hal.science/tel-01147484/file/2014PA066621.pdf 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
https://inria.hal.science/hal-01072721/file/structured_noise.pdf 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
https://inria.hal.science/hal-01098981/file/dmm-cond.pdf 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
https://inria.hal.science/hal-00776068/file/MAYA2-UPMCINRIA-adist-2.0.pdf 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
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
https://hal.science/hal-00700555/file/FGHR.pdf 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
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
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
https://arxiv.org/pdf/1203.6186 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
https://arxiv.org/pdf/1112.4411 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
https://inria.hal.science/hal-00776280/file/MinDistance_revised.pdf 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
https://inria.hal.science/hal-00843052/file/MatrixGamePatience_revision.pdf BibTex
titre
Exact Voronoi diagram of smooth convex pseudo-circles: General predicates, and implementation for ellipses
auteur
Ioannis Emiris, Elias Tsigaridas, George Tzoumas
article
Computer Aided Geometric Design, 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
https://inria.hal.science/hal-00843033/file/ett-vor-pcircles.pdf 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
https://arxiv.org/pdf/1112.6263 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
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
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
https://inria.hal.science/hal-00776072/file/MAYA2-UPMCINRIA-v1-key_recovery_on_HFE_2.0.pdf 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
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
https://inria.hal.science/hal-00642075/file/main36.pdf 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
https://arxiv.org/pdf/1108.1486 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
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
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
https://inria.hal.science/hal-00922718/file/abstract-safeyeldin.pdf BibTex
titre
Gröbner Bases of Ideals Invariant under a Commutative Group: the Non-Modular Case
auteur
Jean-Charles Faugère, Jules Svartz
article
The 38th International Symposium on Symbolic and Algebraic Computation, ISSAC '13, Jun 2013, Boston, United States. pp.347-354, ⟨10.1145/2465506.2465944⟩
DOI
DOI : 10.1145/2465506.2465944
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00819337/file/FS13.pdf 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
https://inria.hal.science/hal-00815174/file/rational-lmi-6.pdf BibTex
titre
On the Complexity of Computing Gröbner Bases for Quasi-homogeneous Systems
auteur
Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron
article
The 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, Maine, United States. pp.189-196, ⟨10.1145/2465506.2465943⟩
DOI
DOI : 10.1145/2465506.2465943
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00780388/file/issac53p-faugere.pdf 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
https://inria.hal.science/hal-00930273/file/sbff.pdf 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
https://inria.hal.science/hal-00816214/file/pt-refine.pdf BibTex
titre
Combined Attack on CRT-RSA. Why Public Verification Must Not Be Public?
auteur
Guillaume Barbu, Alberto Battistelllo, Guillaume Dabosville, Christophe Giraud, Guénaël Renault, Soline Renner, Rina Zeitoun
article
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
https://inria.hal.science/hal-00777788/file/CA-CRT-RSA.pdf 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
https://theses.hal.science/tel-00922805/file/these.pdf 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
https://theses.hal.science/tel-00925271/file/these.pdf 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
https://theses.hal.science/tel-01110887/file/ThesisChenqiMOU_final.pdf 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
https://inria.hal.science/hal-00778659/file/M-H_Ridge-ISSAC.pdf BibTex
titre
A probabilistic algorithm to compute the real dimension of a semi-algebraic set
auteur
Mohab Safey El Din, Elias Tsigaridas
article
2013
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00808708/file/rd-07.pdf 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
https://hal.science/hal-00816724/file/orderChange.pdf 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
https://inria.hal.science/hal-00777829/file/ASCA_JCEN.pdf 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
https://inria.hal.science/hal-00778239/file/sos_vcg_final.pdf 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
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
https://inria.hal.science/hal-00776230/file/et-improve-bd-cf.pdf 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
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
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
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
https://inria.hal.science/hal-00776071/file/MAYA2-UPMCINRIA-mutant_2.0.pdf BibTex
titre
Efficient Arithmetic in Successive Algebraic Extension Fields Using Symmetries
auteur
Sébastien Orange, Guénaël Renault, Kazuhiro Yokoyama
article
Mathematics in Computer Science, 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
https://inria.hal.science/hal-00777860/file/mcs-main.pdf BibTex
titre
Algebraic Analysis of Stability and Bifurcation of a Self-assembling Micelle System
auteur
Wei Niu, Dongming Wang
article
Applied Mathematics and Computation, 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
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
https://inria.hal.science/hal-00776073/file/FFA2011.pdf 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
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
https://inria.hal.science/hal-00778365/file/vqe_jsc_final.pdf 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
https://inria.hal.science/hal-00776066/file/MAYA2-UPMCINRIA-aaec_1.0.pdf BibTex
titre
Solving Polynomial Systems over Finite Fields: Improved Analysis of the Hybrid Approach
auteur
Luk Bettale, Jean-Charles Faugère, Ludovic Perret
article
ISSAC 2012 - 37th International Symposium on Symbolic and Algebraic Computation, Jul 2012, Grenoble, France. pp.67--74, ⟨10.1145/2442829.2442843⟩
DOI
DOI : 10.1145/2442829.2442843
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00776070/file/MAYA2-UPMCINRIA-hybridext_1.0.pdf 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
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
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
https://inria.hal.science/hal-00776069/file/final_BKW.pdf BibTex
titre
The M4RIE library for dense linear algebra over small fields with even characteristic
auteur
Martin R. Albrecht
article
ISSAC '12: Proceedings of the 2012 international symposium on Symbolic and algebraic computation, Jul 2012, Grenoble, France. pp.28 - 34, ⟨10.1145/2442829.2442838⟩
DOI
DOI : 10.1145/2442829.2442838
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01113282/file/m4rie-paper.pdf 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
https://inria.hal.science/hal-00776212/file/lct-lgp.pdf BibTex
titre
Solving Polynomial Systems Globally Invariant Under an Action of the Symmetric Group and Application to the Equilibria of N vortices in the Plane
auteur
Jean-Charles Faugère, Jules Svartz
article
ISSAC '12 - International Symposium on Symbolic and Algebraic Computation, 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
https://inria.hal.science/hal-00777791/file/FS12.pdf 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
https://inria.hal.science/hal-00776074/file/st-rsmef.pdf 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
https://inria.hal.science/hal-00777804/file/implicitDSA.pdf BibTex
titre
Real Solution Formulas of Cubic and Quartic Equations Applied to Generate Dynamic Diagrams with Inequality Constraints
auteur
Ting Zhao, Dongming Wang, Hoon Hong, Philippe Aubry
article
27th Annual ACM Symposium on Applied Computing (SAC 2012), Mar 2012, Trento, Italy. pp.94-101, ⟨10.1145/2245276.2245297⟩
DOI
DOI : 10.1145/2245276.2245297
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-00683596/file/zwha11-GCR_revised_1026.pdf BibTex
titre
Critical Points and Gröbner Bases: the Unmixed Case
auteur
Jean-Charles Faugère, Mohab Safey El Din, Pierre-Jean Spaenlehauer
article
ISSAC 2012 - International Symposium on Symbolic and Algebraic Computation - 2012, Jul 2012, Grenoble, France. pp.162-169, ⟨10.1145/2442829.2442855⟩
DOI
DOI : 10.1145/2442829.2442855
Accès au bibtex
https://arxiv.org/pdf/1202.0179 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
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
https://inria.hal.science/hal-00776434/file/SCC_AG_2012.pdf 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
https://hal.science/hal-00685401/file/BeBoHo12.pdf BibTex
titre
An All-In-One Approach to Differential Cryptanalysis for Small Block Ciphers
auteur
Martin R. Albrecht, Gregor Leander
article
SAC 2012 - 19th International Conference on Selected Areas in Cryptography, Aug 2012, Windsor, Canada. 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
https://inria.hal.science/hal-01113283/file/401.pdf BibTex
titre
Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence (project description)
auteur
Xiaoyu Chen, Wei Li, Jie Luo, Dongming Wang
article
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
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
BibTex

Chapitre d'ouvrage

titre
Algebraic and numerical algorithms
auteur
Ioannis Z. Emiris, Victor Y. Pan, Elias P. Tsigaridas
article
Algorithms and Theory of Computation Handbook, CRC Press Inc., pp.1-40, 2012
Accès au bibtex
BibTex
titre
Algebraic Algorithms
auteur
Ioannis Z. Emiris, Victor Y. Y. Pan, Elias Tsigaridas
article
Teofilo Gonzalez. Computing Handbook Set - Computer Science, I, CRC Press, 2012
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00776270/file/16et-9Jul.pdf BibTex
titre
Mixed volume and distance geometry techniques for counting Euclidean embeddings of rigid graphs
auteur
Ioannis Z. Emiris, Elias Tsigaridas, Antonios Varvitsiotis
article
C. Lavor and L. Liberti and N. Maculan and A. Mucherino. Distance Geometry: With Applications to Molecular Conformation and Sensor Networks, Springer-Verlag, pp.23-45, 2012, 978-1-4614-5128-0. ⟨10.1007/978-1-4614-5128-0_2⟩
DOI
DOI : 10.1007/978-1-4614-5128-0_2
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00776252/file/etv-distance.pdf 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
https://theses.hal.science/tel-01110756/file/these_spaenlehauer.pdf 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
https://inria.hal.science/hal-01112976/file/mq-homomorphic%20%281%29.pdf BibTex

Communication dans un congrès

titre
MQQ-SIG - An Ultra-Fast and Provably CMA Resistant Digital Signature Scheme
auteur
Danilo Gligoroski, Rune Steinsmo Ødegard, Rune Erlend Jensen, Ludovic Perret, Jean-Charles Faugère, Svein Johan Knapskog, Smile Markovski
article
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
https://inria.hal.science/hal-00778083/file/intrust2011.pdf BibTex