Skip to Main content Skip to Navigation

inria-00070678v1  Reports
Daniel LazardFabrice Rouillier. Solving Parametric Polynomial Systems
[Research Report] RR-5322, INRIA. 2004, pp.23
inria-00070348v1  Reports
Amir HashemiDaniel Lazard. Complexity of Zero-dimensional Gröbner Bases
[Research Report] RR-5660, INRIA. 2005, pp.29
inria-00509213v1  Directions of work or proceedings
Daniel AugotJean-Charles FaugèreLudovic Perret. Gröbner Bases in Cryptography, Coding Theory, and Algebraic Combinatorics
Augot, Daniel; Faugère, Jean-Charles; Perret, Ludovic. France. 44 (12), Elsevier, pp.1605-1724, 2009, Journal of Symbolic Computation, ⟨10.1016/j.jsc.2008.11.004⟩
hal-00643774v1  Conference papers
Frederik ArmknechtDaniel AugotLudovic PerretAhmad-Reza Sadeghi. On Constructing Homomorphic Encryption Schemes from Coding Theory
13th IMA International Conference on Cryptography and Coding, Institute of Mathematics and its Applications (IMA), Dec 2011, Oxford, United Kingdom. pp.23-40, ⟨10.1007/978-3-642-25516-8_3⟩
inria-00509219v1  Journal articles
Daniel AugotMagali BardetJean-Charles Faugère. On the decoding of binary cyclic codes with the Newton's identities
Journal of Symbolic Computation, Elsevier, 2009, Gröbner Bases in Cryptography, Coding Theory, and Algebraic Combinatorics, 44 (12), pp.1608-1625. ⟨10.1016/j.jsc.2008.02.006⟩
inria-00580431v1  Conference papers
Yacine BouzidiSylvain LazardMarc PougetFabrice Rouillier. New bivariate system solver and topology of algebraic curves
27th European Workshop on Computational Geometry - EuroCG 2011, Mar 2011, Morschach, Switzerland
inria-00425383v1  Conference papers
Jinsan ChengSylvain LazardLuis PeñarandaMarc PougetFabrice Rouillier et al.  On the topology of planar algebraic curves
25th annual symposium on Computational geometry - SCG 2009, Jun 2009, Aarhus, Denmark. pp.361--370, ⟨10.1145/1542362.1542424⟩
hal-01305664v1  Conference papers
Mohab Safey El Din. Practical and Theoretical Issues for the Computation of Generalized Critical Values of a Polynomial Mapping
Computer Mathematics: 8th Asian Symposium, ASCM 2007. Revised and Invited Papers, Dec 2008, Singapore, Singapore. pp.42--56, ⟨10.1007/978-3-540-87827-8_4⟩
hal-01298891v1  Conference papers
Daniel Lazard. Algebraic points in geometry and application to {CAD}
International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS), Dec 2009, Fukuoka, Japan. pp.1--1
hal-01298878v1  Book sections
Françoise Levy-Dit-VehelMaria-Grazia MarinariLudovic PerretCarlo Traverso. A Survey on Polly Cracker Systems
Gröbner Bases, Coding, and Cryptography, Springer, pp.285-305, 2009, 978-3-540-93805-7. ⟨10.1007/978-3-540-93806-4_16⟩
hal-00694136v1  Conference papers
Jean-Gabriel KammererReynald LercierGuénaël Renault. Encoding points on hyperelliptic curves over finite fields in deterministic polynomial time
PAIRING 2010 - 4th International Conference on Pairing-Based Cryptography, Dec 2010, Ishikawa, Japan. pp.278-297, ⟨10.1007/978-3-642-17455-1_18⟩
hal-01301340v1  Book sections
Guénaël Renault. Introduction à la Théorie de Galois Effective
Journées Nationales du Calcul Formel 2008, pp.145--195, 2008
hal-01293784v1  Conference papers
Mohab Safey El Din. Fast Algorithms for Real Solving Polynomial Systems of Inequalities/inequations
SIAM Conference on Parallel Processing and Scientific Computing -- High Performance Symbolic Computing, Feb 2010, Seattle, United States. pp.1--1
hal-01288929v1  Conference papers
Jean-Charles FaugèreAyoub OtmaniLudovic PerretJean-Pierre Tillich. A Distinguisher for High Rate McEliece Cryptosystem -- Extended Abstract
Yet Another Conference on Cryptography, YACC 2010, Oct 2010, Porquerolles, France. pp.1-4
hal-01298881v1  Conference papers
Luk BettaleJean-Charles FaugèreLudovic Perret. Security Analysis of Multivariate Polynomials for Hashing
Information Security and Cryptology: 4th International Conference, Inscrypt 2008, Revised Selected Papers, Dec 2009, Beijing, China. pp.115--124, ⟨10.1007/978-3-642-01440-6_11⟩
hal-00627327v1  Journal articles
Ting ZhaoDongming WangHoon Hong. Solution Formulas for Cubic Equations Without or With Constraints
Journal of Symbolic Computation, Elsevier, 2011, 46 (8), pp.904-918. ⟨10.1016/j.jsc.2011.02.001⟩
hal-01288922v1  Conference papers
Mate Soos. Grain of Salt --- an Automated Way to Test Stream Ciphers through SAT Solvers
Tools'10: the Workshop on Tools for Cryptanalysis 2010, Jun 2010, London, United Kingdom. pp.131-144
tel-00812436v1  Theses
Guillaume Moroz. Sur la décomposition réelle et algébrique des systèmes dépendant de paramètres
Systèmes dynamiques [math.DS]. Université Pierre et Marie Curie - Paris VI, 2008. Français. ⟨NNT : 2008PA066639⟩
hal-01148309v1  Journal articles
Guillaume Moroz. Properness Defects of Projection and Minimal Discriminant Variety
Journal of Symbolic Computation, Elsevier, 2011, 46 (10), pp.1139 - 1157. ⟨10.1016/j.jsc.2011.05.013⟩
hal-00706787v1  Journal articles
Xiaoliang LiChenqi MouDongming Wang. Decomposing polynomial sets into simple sets over finite fields: The zero-dimensional case
Computers and Mathematics with Applications, Elsevier, 2010, 60 (11), pp.2983-2997. ⟨10.1016/j.camwa.2010.09.059⟩
hal-01288914v1  Conference papers
Jean-Charles FaugèreRaphaël MarinierGuénaël Renault. Implicit Factoring with Shared Most Significant and Middle Bits
In 13th International Conference on Practice and Theory in Public Key Cryptography -- PKC 2010, May 2010, Paris, France. pp.70-87, ⟨10.1007/978-3-642-13013-7_5⟩
hal-01301328v1  Conference papers
Jean-Charles FaugèreLudovic Perret. High order derivatives and decomposition of multivariate polynomials
Second Workshop on Mathematical Cryptology, Oct 2008, Santander, Spain. pp.15-19
hal-01298879v1  Conference papers
Jean-Charles Faugère. Solving Structured Polynomial Systems and Applications to Cryptology
Computer Algebra in Scientific Computing - CASC'09, Sep 2009, Kobe, Japan. pp.79-80, ⟨10.1007/978-3-642-04103-7_7⟩
hal-01288931v1  Conference papers
Jean-Charles FaugèreAyoub OtmaniLudovic PerretJean-Pierre Tillich. Algebraic Cryptanalysis of McEliece Variants with Compact Keys -- Toward a Complexity Analysis
Yet Another Conference on Cryptography, YACC 2010, Oct 2010, Porquerolles, France. pp.1-4