a.bib

@inproceedings{ST07,
  teams = {SPIRAL},
  labs = {LIP6},
  author = {Safey El Din, Mohab and Trébuchet, Philippe},
  title = {POSIX threads polynomials(PTPol): a scalable implementation of univariate arithmetic operations},
  booktitle = {PASCO '07: Proceedings of the 2007 international workshop on Parallel symbolic computation},
  year = {2007},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  isbn = {978-1-59593-741-4},
  pages = {104--106},
  location = {London, Ontario, Canada},
  url = {http://doi.acm.org/10.1145/1278177.1278198},
  publisher = {ACM},
  address = {New York, NY, USA}
}
@inproceedings{FSE07,
  teams = {SPIRAL},
  labs = {LIP6},
  author = {Sugita, Makoto and
               Kawazoe, Mitsuru and
               Perret, Ludovic and
               Imai, Hideki},
  title = {Algebraic Cryptanalysis of $58$-Round SHA-$1$},
  lip6-rank = {A},
  booktitle = {Fast Software Encryption, 14th International Workshop, FSE},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {4593},
  pages = {349-365},
  doi = {10.1007/978-3-540-74619-5_22},
  year = {2007},
  editor = {Biryukov, Alex},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{S07c,
  teams = {SPIRAL},
  labs = {LIP6},
  author = {Safey El Din, Mohab},
  title = {Real solving polynomial systems of inequalities: the case of bounded sets of solutions},
  booktitle = {Mathematical Aspects of Computer and Information Sciences 2007},
  publisher = {Online},
  x-proceedings = {no},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  year = {2007},
  url = {http://www-spiral.lip6.fr/MACIS2007/schedule.html},
  month = {December}
}
@article{S07a,
  teams = {SPIRAL},
  labs = {LIP6},
  author = {Safey El Din, Mohab},
  title = {Testing Sign Conditions on a Multivariate Polynomial and Applications},
  journal = {Mathematics in Computer Science},
  year = {2007},
  volume = {1},
  number = {1},
  pages = {177-207},
  month = {December},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{SOCG07,
  teams = {SPIRAL},
  labs = {LIP6},
  author = {Everett, Hazel and Lazard, Daniel and Lazard, Sylvain and Safey El Din, Mohab},
  title = {{The Voronoi diagram of three lines in $R^3$}},
  booktitle = {SoCG '07: Proceedings of the twenty-third annual symposium on Computational geometry},
  year = {2007},
  location = {Gyeongju, South Korea},
  pages = {255--264},
  lip6-rank = {A},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  month = {June}
}
@inproceedings{LM07,
  teams = {SPIRAL},
  labs = {LIP6},
  author = {Lazard, Daniel and McCallum, Scott},
  title = {Iterated Discriminants},
  booktitle = {MEGA 2007: Effective Methods in Algebraic Geometry},
  year = {2007},
  location = {Strobl, Austria},
  x-proceedings = {no},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  month = {June}
}
@article{GLRX07,
  teams = {SPIRAL},
  labs = {LIP6},
  author = {Nong, Gu and Lazard, Daniel and Rouillier, Fabrice and yong, Xiang},
  title = {Using computer algebra to certify the global convergence of a numerical optimization process},
  journal = {Mathematics in Computer Science},
  volume = {1},
  number = {2},
  pages = {291--304},
  year = {2007},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{CFRS07,
  teams = {SPIRAL},
  labs = {LIP6},
  author = {Cameron, Richard and Faugère, Jean-Charles and Rouillier, Fabrice and Seyfert, Fabien},
  title = {{Exhaustive approach to the coupling matrix synthesis problem and application to the design of high degree asymmetric filters}},
  journal = {Int J RF and Microwave Comp Aid Eng},
  volume = {17},
  number = {1},
  publisher = {John Wiley & Sons, Ltd},
  address = {Hoboken, NJ, USA},
  year = {2007},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/CFRS07.pdf},
  doi = {10.1002/mmce.20190},
  issn = {1099-047X},
  pages = {4--12},
  month = {January},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{GXR06,
  teams = {SPIRAL},
  labs = {LIP6},
  author = {Nong, Gu and Yong, Xiang and Rouillier, Fabrice and Zhiqiang Cao},
  title = {Comments on A blind Signal Separation Method for Multiuser Communications},
  journal = {IEEE Transactions on Signal Processing},
  doi = {10.1109/TSP.2007.892716},
  issn = {1053-587X},
  year = {2007},
  volume = {55},
  number = {5},
  pages = {2355--2356}
}
@article{LR07,
  teams = {SPIRAL},
  labs = {LIP6},
  author = {Lazard, Daniel and Rouillier, Fabrice},
  title = {Solving parametric polynomial systems},
  journal = {Journal of Symbolic Computation},
  year = {2007},
  volume = {42},
  pages = {636-667},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{AH07,
  teams = {SPIRAL},
  labs = {LIP6},
  author = {Ars, Gwenolé and Hashemi, Amir},
  title = {Efficient Computation of Syzygies by {F}augere's {F}5 algorithm},
  booktitle = {MACIS 2007: Mathematical Aspects of Computer and 
Information Sciences},
  year = {2007},
  location = {Paris, France},
  month = {December}
}
@inproceedings{AmirASCM07,
  teams = {SPIRAL},
  labs = {LIP6},
  author = {Hashemi, Amir},
  title = {Efficient Algorithms for Computing Noether Normalization},
  booktitle = {ASCM 2007: The 8th ASian Symposium on Computer Mathematics},
  year = {2007},
  location = {Singapore},
  month = {December}
}
@inproceedings{AmirSNC07,
  teams = {SPIRAL},
  labs = {LIP6},
  author = {Hashemi, Amir},
  title = {Polynomial-Time Algorithm for Hilbert Series of Borel Type Ideals},
  booktitle = {SNC'07: Symbolic-Numeric Computation'07},
  year = {2007},
  location = {London, Ontario (Cananda)},
  month = {July},
  pages = {97--102},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{AmirJCC,
  teams = {SPIRAL},
  labs = {LIP6},
  author = {Hashemi, Amir},
  title = {Nullstellensätze for ZeroDimensional Gröbner Bases},
  journal = {Computational Complexity},
  issue_date = {April 2009},
  volume = {18},
  number = {1},
  month = {April},
  year = {2009},
  issn = {1016-3328},
  pages = {155--168},
  numpages = {14},
  doi = {10.1007/s00037-009-0261-9},
  acmid = {1536243},
  publisher = {Birkhauser Verlag},
  address = {Basel, Switzerland, Switzerland}
}
@article{AmirAJM,
  teams = {SPIRAL},
  labs = {LIP6},
  author = {Hashemi, Amir},
  title = {Polynomial Complexity for Hilbert Series of Borel Type Ideals},
  journal = {Albanian Journal of Mathematics},
  year = {2007},
  volume = {1},
  number = {3},
  pages = {145-155}
}
@inproceedings{FauLia07,
  teams = {SPIRAL},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Liang, Ye},
  title = {Numerical Computation of Grobner Bases for Zero-dimensional Polynomial Ideals},
  booktitle = {Mathematical Aspects of Computer and Information Sciences 2007, Paris, France},
  year = {2007},
  month = {December},
  url = {http://www-spiral.lip6.fr/MACIS2007/schedule.html},
  x-proceedings = {no},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{ABF07,
  teams = {SPIRAL},
  labs = {LIP6},
  author = {Augot, Daniel and Bardet, Magali and Faugère, Jean-Charles},
  booktitle = {IEEE International Symposium on Information Theory, 2007. ISIT 2007},
  title = {{On formulas for decoding binary cyclic codes}},
  editor = {Goldsmith and  Medard and Shokrollahi and Zamir},
  location = {Nice},
  year = {2007},
  month = {June},
  volume = {},
  number = {},
  pages = {2646 -2650},
  doi = {10.1109/ISIT.2007.4557618},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/AugotBardetFaugère2007-ISIT.pdf},
  issn = {},
  isbn = {978-1-4244-1397-3},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{FSS10b,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Safey El Din, Mohab and Spaenlehauer, Pierre-Jean},
  title = {{Gröbner Bases of Bihomogeneous Ideals Generated by Polynomials of Bidegree (1,1): Algorithms and  Complexity}},
  journal = {Journal of Symbolic Computation},
  publisher = {Academic Press, Inc.},
  address = {Duluth, MN, USA},
  volume = {46},
  number = {4},
  year = {2011},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/JSC_FSS10.pdf},
  doi = {10.1016/j.jsc.2010.10.014},
  issn = {0747-7171},
  pages = {406--437},
  note = {Available online 4 November 2010},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{FL10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Liang, Ye},
  title = {{Artificial discontinuities of single-parametric Gröbner bases}},
  journal = {Journal of Symbolic Computation},
  editor = {L. Gonzales Vega},
  publisher = {Academic Press, Inc.},
  address = {Duluth, MN, USA},
  volume = {46},
  number = {4},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/JSC_LP10.pdf},
  doi = {10.1016/j.jsc.2010.11.001},
  issn = {0747-7171},
  year = {2011},
  pages = {459--466},
  x-pays = {CN},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{ABF09,
  teams = {SALSA},
  labs = {LIP6},
  author = {Augot, Daniel and Bardet, Magali and Faugère, Jean-Charles},
  title = {{On the decoding of binary cyclic codes with the Newton identities}},
  journal = {Journal of Symbolic Computation},
  volume = {44},
  number = {12},
  year = {2009},
  issn = {0747-7171},
  pages = {1608--1625},
  doi = {10.1016/j.jsc.2008.02.006},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/jsc_ABF09.pdf},
  publisher = {Academic Press, Inc.},
  address = {Duluth, MN, USA},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{FP09b,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Perret, Ludovic},
  title = {{An efficient algorithm for decomposing multivariate polynomials and its applications to cryptography}},
  journal = {Journal of Symbolic Computation},
  volume = {44},
  number = {12},
  year = {2009},
  issn = {0747-7171},
  pages = {1676--1689},
  doi = {10.1016/j.jsc.2008.02.005},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/jsc_FP09.pdf},
  publisher = {Academic Press, Inc.},
  address = {Duluth, MN, USA},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{Mor10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Moroz, Guillaume},
  journal = {Journal of Symbolic Computation},
  title = {Properness Defects of Projection and Minimal Discriminant Variety},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  pages = {1139 - 1157},
  volume = {46},
  number = {10},
  doi = {10.1016/j.jsc.2011.05.013},
  url = {http://www.sciencedirect.com/science/article/pii/S0747717111000848},
  issn = {0747-7171},
  year = {2011}
}
@article{KPR10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Koseleff, Pierre-Vincent and Pecker, Daniel and Rouillier, Fabrice},
  journal = {Journal of Symbolic Computation},
  title = {The first rational Chebyshev knots},
  volume = {45},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  pages = {1341--1358},
  doi = {10.1016/j.jsc.2010.06.014},
  year = {2010}
}
@article{L09-30y,
  teams = {SALSA},
  labs = {LIP6},
  author = {Lazard, Daniel},
  title = {Thirty years of Polynomial System Solving, and now?},
  journal = {Journal of Symbolic Computation},
  volume = {44},
  year = {2009},
  number = {3},
  pages = {222--231},
  doi = {10.1016/j.jsc.2008.03.004},
  x-invited-conference = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{LM09,
  teams = {SALSA},
  labs = {LIP6},
  author = {Lazard, Daniel and McCallum, Scott},
  title = {Iterated Discriminants},
  journal = {Journal of Symbolic Computation},
  x-pays = {AU},
  volume = {44},
  year = {2009},
  number = {9},
  pages = {1176--1193},
  doi = {10.1016/j.jsc.2008.05.006},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{DLLP1,
  teams = {SALSA},
  labs = {LIP6},
  author = {Dupont, Laurent and Lazard, Daniel and Lazard, Sylvain and
                 Petitjean,  Sylvain},
  title = {Near-Optimal Parameterization of the Intersection of
                  Quadrics : I. {T}he Generic Algorithm},
  journal = {Journal of Symbolic Computation},
  year = {2008},
  volume = {43},
  number = {3},
  pages = {168--191},
  doi = {10.1016/j.jsc.2007.10.006},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{DLLP2,
  teams = {SALSA},
  labs = {LIP6},
  author = {Dupont, Laurent and Lazard, Daniel and Lazard, Sylvain and
                 Petitjean,  Sylvain},
  title = {Near-Optimal Parameterization of the Intersection of
                  Quadrics : {II. A} classification of pencils},
  journal = {Journal of Symbolic Computation},
  year = {2008},
  volume = {43},
  number = {3},
  pages = {192--215},
  doi = {10.1016/j.jsc.2007.10.012},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{DLLP3,
  teams = {SALSA},
  labs = {LIP6},
  author = {Dupont, Laurent and Lazard, Daniel and Lazard, Sylvain and
                 Petitjean,  Sylvain},
  title = {Near-Optimal Parameterization of the Intersection of
                  Quadrics : {III}. {P}arameterizing Singular
                  Intersections},
  journal = {Journal of Symbolic Computation},
  year = {2008},
  volume = {43},
  number = {3},
  pages = {216--232},
  doi = {10.1016/j.jsc.2007.10.007},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{PoGa10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Galligo, André and Poteaux, Adrien},
  title = {{Computing monodromy via continuation methods on random Riemann surfaces}},
  journal = {Theoretical Computer Science},
  volume = {412},
  number = {16},
  year = {2011},
  note = {Symbolic and Numerical Algorithms},
  doi = {10.1016/j.tcs.2010.11.047},
  issn = {0304-3975},
  url = {http://www.sciencedirect.com/science/article/B6V1G-51MDSJP-5/2/798a2d9fedcde3f52382391e770e1a5a},
  pages = {1492--1507},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{DCC10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Levy-dit-Vehel, Françoise and  Perret, Ludovic},
  journal = {Des. Codes Cryptography},
  title = {Security analysis of word problem-based cryptosystems},
  volume = {54},
  number = {1},
  pages = {29--41},
  doi = {10.1007/s10623-009-9307-x},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  year = {2010}
}
@article{SZ10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Safey El Din, Mohab and Zhi, Lihong},
  title = {Computing rational points in convex semi-algebraic sets and Sums of Squares decompositions},
  journal = {SIAM Journal on Optimization},
  volume = {20},
  number = {6},
  publisher = {SIAM},
  year = {2010},
  pages = {2876--2889},
  url = {http://www-polsys.lip6.fr/~safey/Articles/convex_sas.pdf},
  doi = {10.1137/090772459},
  x-pays = {CN},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{BFP09b,
  teams = {SALSA},
  labs = {LIP6},
  author = {Bettale, Luk and Faugère, Jean-Charles and Perret, Ludovic},
  title = {{Hybrid approach for solving multivariate systems over finite fields}},
  journal = {Journal of Mathematical Cryptology},
  year = {2010},
  pages = {177--197},
  issn = {1862-2976},
  volume = {3},
  number = {3},
  publisher = {De Gruter},
  doi = {10.1515/JMC.2009.009},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/JMC2.pdf},
  address = {Berlin, Newyork},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{BF10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Bourgeois, Gérald and Faugère, Jean-Charles},
  title = {{Algebraic Attack on NTRU using Witt Vectors and Gröbner bases}},
  journal = {Journal of Mathematical Cryptology},
  year = {2010},
  volume = {3},
  number = {3},
  pages = {205--214},
  issn = {1862-2976},
  doi = {10.1515/JMC.2009.011},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/JMC1.pdf},
  publisher = {De Gruter},
  address = {Berlin, Newyork},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{BLOP09,
  teams = {SALSA},
  labs = {LIP6},
  author = {Boulier, François and Lazard, Daniel and Ollivier, François and Petitot, Michel},
  title = {Computing representations for radicals of finitely generated differential ideals},
  journal = {Appl. Algebra Engrg. Comm. Comput.},
  fjournal = {Applicable Algebra in Engineering, Communication and Computing},
  volume = {20},
  year = {2009},
  number = {1},
  pages = {5--6 and 73--121},
  doi = {10.1007/s00200-009-0091-7},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{KRY09,
  teams = {SALSA},
  labs = {LIP6},
  author = {Kida, Masanari and Renault, Guénaël and Yokoyama, Kazuhiro},
  journal = {International Journal of Number Theory},
  title = {{Q}uintic {P}olynomials of {H}ashimoto-{T}sunogai, {B}rumer, and {K}ummer},
  volume = {5},
  number = {4},
  pages = {555--571},
  doi = {10.1142/S1793042109002250},
  url = {http://www-polsys.lip6.fr/~renault/ressources_rech/htbk-polynomial.pdf},
  x-pays = {JP},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  year = {2009}
}
@article{SaSc11,
  teams = {SALSA},
  labs = {LIP6},
  author = {Safey El Din, Mohab and Schost, Éric},
  title = {{A Baby Steps/Giant Steps Probabilistic Algorithm for Computing Roadmaps in Smooth Bounded Real Hypersurface}},
  journal = {Discrete and Computational Geometry},
  volume = {45},
  number = {1},
  year = {2011},
  pages = {181--220},
  doi = {10.1007/s00454-009-9239-2},
  url = {http://www-polsys.lip6.fr/~safey/Articles/SaSc09.pdf},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  x-pays = {CA}
}
@article{BGHSS,
  teams = {SALSA},
  labs = {LIP6},
  author = {Bank, Berlin and Giusti, Marc and Heintz, Joos and Safey El Din, Mohab and Schost, Éric},
  journal = {Applicable Algebra in Engineering, Communication and Computing},
  title = {On the geometry of polar varieties},
  volume = {21},
  number = {1},
  pages = {33--83},
  issn = {0938-1279},
  url = {http://www-polsys.lip6.fr/~safey/Articles/BaGiHeSaSc09.pdf},
  doi = {10.1007/s00200-009-0117-1},
  x-pays = {DE, AR, CA},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  year = {2010}
}
@article{L10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Lazard, Daniel},
  title = {CAD and topology of semi-algebraic sets},
  journal = {Mathematics in Computer Science},
  year = {2010},
  volume = {4},
  note = {Special issue {C}omputational {G}eometry and {C}omputer-aided {G}eometric {D}esign},
  pages = {93--112},
  doi = {10.1007/s11786-010-0047-0},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{HL10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Hashemi, Amir and Lazard, Daniel},
  title = {Sharper complexity bounds for zero-dimensional {G}röbner bases and polynomial system solving},
  journal = {International Journal of Algebra and Computation (IJAC)},
  year = {2011},
  volume = {21},
  number = {5},
  pages = {703--713},
  doi = {10.1142/S0218196711006364},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{PLTRPC10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Pouget, Marc and Lazard, Sylvain and Tsigaridas, Elias and Rouillier, Fabrice and Penarnda, Luis and Cheng, Jinsan},
  journal = {Mathematics in Computer Science},
  title = {On the topology of planar algebraic curves},
  pages = {1--1},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  year = {2010}
}
@article{MCWR10b,
  teams = {SALSA},
  labs = {LIP6},
  author = {Moroz, Guillaume and Chablat, Damien and  Wenger, Philippe and Rouillier, Fabrice},
  journal = {Journal of Mechanism and Machine Theory},
  title = {On the determination of cusp points of 3-RPR parallel manipulators},
  volume = {45},
  number = {11},
  pages = {1555--1567},
  year = {2010},
  issn = {0094-114X},
  doi = {10.1016/j.mechmachtheory.2010.06.016},
  url = {http://www.sciencedirect.com/science/article/B6V46-50M0TFS-8/2/3d5de523d3205004c6e770c5ef5b7511},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{KP10a,
  teams = {SALSA},
  labs = {LIP6},
  author = {Koseleff, Pierre-Vincent and Pecker, Daniel},
  journal = {Geometricae Dedicata},
  title = {Chebyshev diagrams for two-bridge knots},
  pages = {1--1},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  year = {2010},
  doi = {10.1007/s10711-010-9514-7}
}
@article{KP10c,
  teams = {SALSA},
  labs = {LIP6},
  author = {Koseleff, Pierre-Vincent and Pecker, Daniel},
  journal = {Journal of Knot Theory and Ramifications},
  title = {Chebyshev Knots},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  pages = {1--1},
  year = {2010}
}
@article{ELLS09,
  teams = {SALSA},
  labs = {LIP6},
  author = {Everett, Hazel and Lazard, Daniel and Lazard, Sylvain and Safey El Din, Mohab},
  journal = {Discrete and Computational Geometry},
  title = {The {V}oronoi diagram of three lines in R3},
  volume = {42},
  number = {1},
  pages = {94--130},
  doi = {10.1007/s00454-009-9173-3},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  year = {2009}
}
@article{KP2,
  teams = {SALSA},
  labs = {LIP6},
  author = {Koseleff, Pierre-Vincent and Pecker, Daniel},
  journal = {Journal of Applicable Algebra in Engineering, Communication and Computing},
  title = {A construction of polynomial torus knots},
  volume = {20},
  number = {5-6},
  pages = {361--377},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  year = {2009}
}
@article{KP5,
  teams = {SALSA},
  labs = {LIP6},
  author = {Koseleff, Pierre-Vincent and Pecker, Daniel},
  journal = {Fibonacci Quarterly},
  title = {On Fibonacci knots},
  volume = {48},
  number = {2},
  pages = {137--143},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  year = {2010}
}
@article{NW08a,
  teams = {SALSA},
  labs = {LIP6},
  author = {Niu, Wei and Wang, Dongming},
  title = {Algebraic Approaches to Stability Analysis of
                  Biological Systems},
  journal = {Mathematics in Computer Science},
  volume = {1},
  number = {3},
  pages = {507--539},
  year = {2008},
  doi = {10.1007/s11786-007-0039-x},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{LMW10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Li, Xiaoliang and Mou, Chenqi and Wang, Dongming},
  journal = {Computers and Mathematics with Applications},
  title = {Decomposing Polynomial Sets into Simple Sets over Finite Fields: The Zero-dimensional Case},
  volume = {60},
  number = {11},
  pages = {2983--2997},
  year = {2010},
  x-pays = {CN},
  doi = {10.1016/j.camwa.2010.09.059},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@book{FP10b,
  teams = {SALSA},
  labs = {LIP6},
  editor = {Faugère, Jean-Charles and Perret, Ludovic},
  author = {Faugère, Jean-Charles and Perret, Ludovic},
  title = {{Symbolic Computation and Cryptography}},
  journal = {Mathematics in Computer Science},
  volume = {3},
  number = {2},
  year = {2010},
  isbn = {1661-8270},
  note = {isbn: 1661-8270},
  pages = {127--224},
  doi = {10.1007/s11786-009-0017-6},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/MCSforeword.pdf},
  publisher = {Birkhäuser and Springer},
  address = {Mathematics in Computer Science},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@book{FR09a,
  teams = {SALSA},
  labs = {LIP6},
  editor = {Faugère, Jean-Charles and Rouillier, Fabrice},
  author = {Faugère, Jean-Charles and Rouillier, Fabrice},
  title = {{Polynomial system solving}},
  journal = {J. Symb. Comput.},
  volume = {44},
  number = {3},
  year = {2009},
  isbn = {0747-7171},
  note = {isbn: 0747-7171},
  pages = {1--221},
  doi = {10.1016/j.jsc.2008.08.004},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/JSC1.pdf},
  publisher = {Academic Press, Inc.},
  address = {Journal of Symbolic Computation},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@book{AFP09,
  teams = {SALSA},
  labs = {LIP6},
  editor = {Augot, Daniel and Faugère, Jean-Charles and Perret, Ludovic},
  author = {Augot, Daniel and Faugère, Jean-Charles and Perret, Ludovic},
  title = {{Gröbner Bases Techniques in Coding Theory and Cryptography}},
  journal = {J. Symb. Comput.},
  volume = {44},
  number = {12},
  year = {2009},
  isbn = {0747-7171},
  note = {isbn: 0747-7171},
  pages = {1605--1765},
  doi = {10.1016/j.jsc.2008.11.004},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/JSC2.pdf},
  publisher = {Academic Press, Inc.},
  address = {Journal of Symbolic Computation},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@book{BCC,
  teams = {SALSA},
  labs = {LIP6},
  editor = {Sala, Max and Mora, Teo and Perret, Ludovic and  Sakata, Shojiro and Traverso, Carlo},
  author = {Sala, Max and Mora, Teo and Perret, Ludovic and  Sakata, Shojiro and Traverso, Carlo},
  publisher = {Springer},
  title = {Gröbner Bases, Coding, and Cryptography},
  x-pays = {IT},
  x-international-audience = {yes},
  pages = {1--430},
  year = {2009},
  isbn = {9783540938057},
  note = {isbn: 9783540938057}
}
@proceedings{FW08,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Wang, Dongming},
  editor = {Faugère, Jean-Charles and Wang, Dongming},
  publisher = {Beihang University, China},
  location = {Beijing},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  x-proceedings = {yes},
  month = {April},
  address = {Beijing, China},
  title = {Proceedings of the First International Conference on Symbolic Computation and Cryptography (SCC 2008)},
  note = {isbn: 0000-0000},
  pages = {1--240},
  year = {2008}
}
@proceedings{IJW08,
  teams = {SALSA},
  labs = {LIP6},
  author = {Ida, Tetsuo and Jiang, Qingshan and Wang, Dongming},
  editor = {Ida, Tetsuo and Jiang, Qingshan and Wang, Dongming},
  publisher = {Higher Education Press and Springer},
  location = {Beijing and Berlin},
  title = {Foundations of Software --- Special focus of Frontiers of Computer Science in China},
  volume = {2},
  number = {1},
  pages = {1--93},
  note = {ISSN: 1673-7350},
  x-pays = {JP,CN},
  x-international-audience = {yes},
  year = {2008}
}
@proceedings{CF10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Cid, Carlos},
  editor = {Faugère, Jean-Charles and Cid, Carlos},
  publisher = {Royal Holloway, University of London},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  x-proceedings = {yes},
  title = {Proceedings of the 2nd International Conference on Symbolic Computation and Cryptography (SCC 2010),
                  Royal Holloway, University of London, Egham, June, 2010},
  note = {isbn: 0000-0000},
  x-pays = {GB},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/scc2010-proceedings.pdf},
  pages = {1--253},
  year = {2010}
}
@inbook{LMPT,
  teams = {SALSA},
  labs = {LIP6},
  author = {Levy-dit-Vehel, Françoise and Marinari, Maria-Grazia and Perret, Ludovic and Traverso, Carlo},
  chapter = {A Survey on Polly Cracker Systems},
  title = {{Gröbner Bases, Coding, and Cryptography}},
  publisher = {Springer},
  pages = {143--155},
  x-editorial-board = {yes},
  x-pays = {IT},
  year = {2009},
  x-international-audience = {yes},
  note = {isbn: 9783540938057},
  isbn = {9783540938057}
}
@inbook{CFPR08,
  teams = {SALSA},
  labs = {LIP6},
  author = {Cazals, Frédéric and Faugère, Jean-Charles and Pouget, Marc and Rouillier, Fabrice},
  title = {{Ridges and Umbilics of Polynomial Parametric Surfaces}},
  booktitle = {Geometric Modeling and Algebraic Geometry},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  editor = {Jüttler, Bert and Piene, Ragni},
  publisher = {Springer Berlin Heidelberg},
  isbn = {978-3-540-72185-7},
  pages = {141-159},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/CFPR06b.pdf},
  doi = {10.1007/978-3-540-72185-7_8},
  year = {2008},
  note = {isbn: 978-3-540-72184-0}
}
@inproceedings{HS09,
  teams = {SALSA},
  labs = {LIP6},
  title = {Variant real quantifier elimination: algorithm and application},
  author = {Hong, Hoon and Safey El Din, Mohab},
  booktitle = {ISSAC '09: Proceedings of the 2009 international symposium on Symbolic and algebraic computation},
  year = {2009},
  isbn = {978-1-60558-609-0},
  note = {isbn: ?},
  pages = {183--190},
  location = {Seoul, Republic of Korea},
  doi = {10.1145/1576702.1576729},
  publisher = {ACM},
  address = {New York, NY, USA},
  lip6-rank = {A},
  x-pays = {US},
  x-proceedings = {yes},
  x-international-audience = {yes}
}
@inproceedings{FMRS08,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Moroz, Guillaume and
                  Rouillier, Fabrice and Safey El Din, Mohab},
  title = {{Classification of the Perspective-Three-Point
                  problem, discriminant variety and real solving
                  polynomial systems of inequalities}},
  booktitle = {ISSAC '08: Proceedings of the twenty-first
                  international symposium on Symbolic and algebraic
                  computation},
  pages = {79--86},
  location = {Linz/Hagenberg, Austria},
  year = {2008},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-international-audience = {yes},
  lip6-rank = {A},
  isbn = {978-1-59593-904-3},
  editor = {D. Jeffrey},
  publisher = {ACM},
  address = {New York, NY, USA},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/ISSAC08.pdf},
  doi = {10.1145/1390768.1390782}
}
@inproceedings{RY08,
  teams = {SALSA},
  labs = {LIP6},
  author = {Renault, Guénaël and Yokoyama, Kazuhiro},
  title = {Multi-modular Algorithm for Computing the Splitting
                  Field of a Polynomial},
  booktitle = {ISSAC'08: Proceedings of the 2008 international
                  symposium on Symbolic and algebraic computation},
  year = {2008},
  location = {Linz/Hagenberg, Austria},
  pages = {247--254},
  lip6-rank = {A},
  editor = {D. Jeffrey},
  doi = {10.1145/1390768.1390803},
  x-pays = {JP},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  x-proceedings = {yes},
  isbn = {978-1-59593-904-3},
  publisher = {ACM}
}
@inproceedings{S08,
  teams = {SALSA},
  labs = {LIP6},
  author = {Safey El Din, Mohab},
  title = {Computing the global optimum of a multivariate
                  polynomial over the reals},
  booktitle = {ISSAC '08: Proceedings of the twenty-first
                  international symposium on Symbolic and algebraic
                  computation},
  pages = {71--78},
  location = {Linz/Hagenberg, Austria},
  year = {2008},
  lip6-rank = {A},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-international-audience = {yes},
  isbn = {978-1-59593-904-3},
  editor = {D. Jeffrey},
  publisher = {ACM},
  address = {New York, NY, USA}
}
@inproceedings{FGP10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and von zur Gathen, Joachim and Perret, Ludovic},
  title = {{Decomposition of Generic Multivariate Polynomials}},
  booktitle = {ISSAC '10: Proceedings of the 2010 international symposium on Symbolic and algebraic computation},
  series = {ISSAC '10},
  year = {2010},
  pages = {131--137},
  numpages = {7},
  isbn = {978-1-4503-0150-3},
  note = {isbn: 0747-7171 (updated version)},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/ISSAC_FGP_2010.pdf},
  doi = {10.1145/1837934.1837963},
  location = {Munich, Germany},
  publisher = {ACM},
  acmid = {1837963},
  address = {New York, NY, USA},
  lip6-rank = {A},
  x-pays = {DE},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{GSZ10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Guo, Feng and Safey El Din, Mohab and Zhi, Lihong},
  title = {Global Optimization of Polynomials Using Generalized Critical Values and Sums of Squares},
  booktitle = {ISSAC '10: Proceedings of the 2010 international symposium on Symbolic and algebraic computation},
  year = {2010},
  isbn = {978-1-4503-0150-3},
  pages = {107--114},
  url = {http://www-polsys.lip6.fr/~safey/gcv_sos.pdf},
  doi = {10.1145/1837934.1837960},
  location = {Munich, Germany},
  publisher = {ACM},
  lip6-rank = {A},
  address = {New York, NY, USA},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{FSS10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Safey El Din, Mohab and Spaenlehauer, Pierre-Jean},
  title = {{Computing Loci of Rank Defects of Linear Matrices using Grobner Bases and Applications to Cryptology}},
  booktitle = {ISSAC '10: Proceedings of the 2010 international symposium on Symbolic and algebraic computation},
  series = {ISSAC '10},
  year = {2010},
  pages = {257--264},
  numpages = {8},
  isbn = {978-1-4503-0150-3},
  location = {Munich, Germany},
  publisher = {ACM},
  address = {New York, NY, USA},
  doi = {10.1145/1837934.1837984},
  acmid = {1837984},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/FSS10.pdf},
  note = {Best Student Paper Award},
  lip6-rank = {A},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{F09,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles},
  title = {{Interactions between computer algebra (Gröbner bases) and cryptology}},
  booktitle = {ISSAC '09: Proceedings of the 2009 international symposium on Symbolic and algebraic computation},
  series = {ISSAC '09},
  year = {2009},
  isbn = {978-1-60558-609-0},
  pages = {383--384},
  location = {Seoul, Republic of Korea},
  doi = {10.1145/1576702.1576755},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/ISSAC09c.pdf},
  publisher = {ACM},
  address = {New York, NY, USA},
  lip6-rank = {A},
  x-editorial-board = {yes},
  x-invited-conference = {yes},
  x-proceedings = {yes},
  x-international-audience = {yes}
}
@inproceedings{FP09a,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Perret, Ludovic},
  title = {{High order derivatives and decomposition of multivariate polynomials}},
  booktitle = {ISSAC '09: Proceedings of the 2009 international symposium on Symbolic and algebraic computation},
  series = {ISSAC '09},
  year = {2009},
  isbn = {978-1-60558-609-0},
  pages = {207--214},
  location = {Seoul, Republic of Korea},
  doi = {10.1145/1576702.1576732},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/ISSAC09b.pdf},
  publisher = {ACM},
  address = {New York, NY, USA},
  lip6-rank = {A},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-international-audience = {yes}
}
@inproceedings{FR09,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Rahmany, Sajjad},
  title = {{Solving systems of polynomial equations with symmetries using SAGBI-Gröbner bases}},
  booktitle = {ISSAC '09: Proceedings of the 2009 international symposium on Symbolic and algebraic computation},
  series = {ISSAC '09},
  year = {2009},
  isbn = {978-1-60558-609-0},
  pages = {151--158},
  location = {Seoul, Republic of Korea},
  doi = {10.1145/1576702.1576725},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/ISSAC09a.pdf},
  publisher = {ACM},
  address = {New York, NY, USA},
  lip6-rank = {A},
  x-editorial-board = {yes},
  x-pays = {IR},
  x-proceedings = {yes},
  x-international-audience = {yes}
}
@inproceedings{ORY09,
  teams = {SALSA},
  labs = {LIP6},
  author = {Orange, Sébastien and  Renault, Guénaël and Yokoyama, Kazuhiro},
  title = {Computation Schemes for Splitting Fields of Polynomials},
  booktitle = {ISSAC '09: Proceedings of the 2009 international symposium on Symbolic and algebraic computation},
  year = {2009},
  isbn = {978-1-60558-609-0},
  pages = {279--286},
  location = {Seoul, Republic of Korea},
  doi = {10.1145/1576702.1576741},
  publisher = {ACM},
  address = {New York, NY, USA},
  lip6-rank = {A},
  x-pays = {JP},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-international-audience = {yes}
}
@inproceedings{EuroCrypt10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Otmani, Ayoub and Perret, Ludovic and Tillich, Jean-Pierre},
  title = {{Algebraic Cryptanalysis of {McEliece}} Variants with Compact Keys},
  booktitle = {Proceedings of Eurocrypt 2010},
  year = {2010},
  volume = {6110},
  pages = {279--298},
  location = {Monaco},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/Eurocrypt2010.pdf},
  doi = {10.1007/978-3-642-13190-5_14},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer Verlag},
  lip6-rank = {A},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{ACTFP10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Albrecht, Martin and Cid, Carlos and Dulien, Thomas and Faugère, Jean-Charles and  Perret, Ludovic},
  title = {{Algebraic Precomputations in Differential Cryptanalysis}},
  booktitle = {Information Security and Cryptology: 6th International Conference, Inscrypt 2010, Revised Selected Papers},
  year = {2011},
  volume = {6584},
  pages = {387--403},
  isbn = {978-3-642-21517-9},
  editor = {Lai, Xuejia and Yung, Moti and Lin, Dongdai},
  publisher = {Springer Berlin / Heidelberg},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/INSCRYPT2010.pdf},
  location = {Shanghai, China},
  x-pays = {DE,GB},
  month = {October},
  doi = {10.1007/978-3-642-21518-6_27},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{FOPG_CANS10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Odegard, Rune and  Perret, Ludovic and Gligoroski, Danilo},
  title = {{Analysis of the MQQ Public Key Cryptosystem}},
  booktitle = {Cryptology and Network Security},
  series = {Lecture Notes in Computer Science},
  year = {2010},
  isbn = {978-3-642-17618-0},
  pages = {169--183},
  volume = {6467},
  editor = {Heng, Swee-Huay and Wright, Rebecca and Goi, Bok-Min},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/CANS2010.pdf},
  publisher = {Springer Berlin / Heidelberg},
  location = {Kuala Lumpur (Malaysia)},
  doi = {10.1007/978-3-642-17619-7_13},
  month = {December},
  x-pays = {NO},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{FP10a,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Perret, Ludovic},
  title = {{Algebraic Cryptanalysis of Curry and Flurry using Correlated Messages}},
  booktitle = {Information Security and Cryptology: 5th International Conference, Inscrypt 2009, Beijing, China, December, 2009, Revised Selected Papers},
  year = {2010},
  volume = {6151},
  isbn = {978-3-642-16341-8},
  doi = {10.1007/978-3-642-16342-5_19},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/INSCRYPT2009.pdf},
  pages = {266--277},
  editor = {M. Yung and F. Bao},
  publisher = {Springer-Verlag},
  address = {Berlin, Heidelberg},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{FOPT_SCC10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and  Otmani, Ayoub and Perret, Ludovic and Tillich, Jean-Pierre},
  title = {{Algebraic Cryptanalysis of {McEliece}} Variants with Compact Keys -- Toward a Complexity Analysis},
  booktitle = {SCC '10: Proceedings of the 2nd International Conference on Symbolic Computation and Cryptography},
  pages = {45--55},
  year = {2010},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/SCC2010a.pdf},
  address = {RHUL},
  location = {London (GB)},
  month = {June},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{FOPG_SCC10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Odegard, Rune and  Perret, Ludovic and Gligoroski, Danilo},
  title = {{Analysis of the MQQ Public Key Cryptosystem}},
  booktitle = {SCC'10: Proceedings of the 2nd International Conference on Symbolic Computation and Cryptography},
  year = {2010},
  pages = {101--116},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/SCC2010b.pdf},
  address = {RHUL},
  location = {London (GB)},
  x-pays = {NO},
  month = {June},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{BFP_TOOLS10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Bettale, Luk and Faugère, Jean-Charles and  Perret, Ludovic},
  title = {{Hybrid Approach : a Tool for Multivariate Cryptography}},
  booktitle = {Tools'10: Proceedings of the Workshop on Tools for Cryptanalysis 2010},
  year = {2010},
  pages = {1--2},
  publisher = {Ecrypt II},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/Tools2010b.pdf},
  address = {RHUL},
  location = {London (GB)},
  month = {June},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{BFP_TOOLS10b,
  teams = {SALSA},
  labs = {LIP6},
  author = {Albrecht, Martin and Cid, Carlos and Dulien, Thomas and Faugère, Jean-Charles and  Perret, Ludovic},
  title = {{Algebraic Precomputations in Differential Cryptanalysis}},
  booktitle = {Tools'10: Proceedings of the Workshop on Tools for Cryptanalysis 2010},
  year = {2010},
  pages = {1--14},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/Tools2010a.pdf},
  publisher = {Ecrypt II},
  address = {RHUL},
  month = {June},
  location = {London (GB)},
  x-pays = {DE,GB},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{FJPT10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Joux, Antoine and Perret, Ludovic and Treger, Joana},
  title = {{Cryptanalysis of the Hidden Matrix Cryptosystem}},
  booktitle = {Progress in Cryptology - LATINCRYPT 2010},
  series = {Lecture Notes in Computer Science},
  editor = {Abdalla, Michel and Barreto, Paulo},
  pages = {241--254},
  publisher = {Springer Berlin / Heidelberg},
  volume = {6212},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/LATIN2010.pdf},
  doi = {10.1007/978-3-642-14712-8_15},
  isbn = {978-3-642-14711-1},
  year = {2010},
  location = {Mexico},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{Sb10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Safey El Din, Mohab},
  title = {Stability Analysis of Numerical Schemes with a Variant Quantifier Elimination Algorithm over the Reals},
  booktitle = {Hybrid Methodologies for Symbolic-Numeric Computation},
  year = {2010},
  pages = {1--1},
  location = {Berkeley, USA},
  organization = {Mathematical Sciences Research Institute},
  x-proceedings = {no},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{S10,
  teams = {SALSA},
  labs = {LIP6},
  title = {Fast Algorithms for Real Solving Polynomial Systems of Inequalities/inequations},
  author = {Safey El Din, Mohab},
  booktitle = {SIAM Conference on Parallel Processing and Scientific Computing
-- High Performance Symbolic Computing},
  year = {2010},
  pages = {1--1},
  location = {Seattle},
  publisher = {SIAM},
  x-invited-conference = {yes},
  x-editorial-board = {yes},
  x-proceedings = {no},
  x-international-audience = {yes}
}
@inproceedings{PKC10a,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Spaenlehauer, Pierre-Jean},
  title = {{Algebraic Cryptanalysis of the PKC'09 Algebraic Surface Cryptosystem}},
  booktitle = {Public Key Cryptography  PKC 2010},
  volume = {6056},
  year = {2010},
  pages = {35--52},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  doi = {10.1007/978-3-642-13013-7_3},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/pkc2010a.pdf},
  editor = {P.Q. Nguyen and D. Poincheval},
  location = {ENS, Paris},
  lip6-rank = {A},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{PKC10b,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Marinier, Raphaël and Renault, Guénaël},
  title = {{Implicit Factoring with Shared Most Significant and Middle Bits}},
  booktitle = {in 13th International Conference on Practice and Theory in Public Key Cryptography -- PKC 2010},
  year = {2010},
  pages = {70--87},
  volume = {6056},
  editor = {P.Q. Nguyen and D. Poincheval},
  location = {ENS, Paris},
  doi = {10.1007/978-3-642-13013-7_5},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/pkc2010b.pdf},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  lip6-rank = {A},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{FMR_SCC:10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Marinier, Raphaël and Renault, Guénaël},
  title = {{Implicit Factoring with Shared Most Significant and Middle Bits}},
  booktitle = {SCC '10: Proceedings of the 2nd International Conference on Symbolic Computation and Cryptography},
  pages = {197--201},
  year = {2010},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/SCC2010c.pdf},
  address = {RHUL},
  location = {London (GB)},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{KLR10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Kammerer, Jean-Gabriel and Lercier, Reynald and Renault, Guénaël},
  title = {Encoding Points on Hyperelliptic Curves over Finite Fields in Deterministic Polynomial Time},
  booktitle = {PAIRING-BASED CRYPTOGRAPHY - PAIRING 2010},
  year = {2010},
  pages = {278--297},
  volume = {6487},
  editor = {Marc Joye, Atsuko Miyaji and Akira Otsuka},
  location = {Yamanaka Hot Spring, Japan},
  doi = {10.1007/978-3-642-17455-1_18},
  url = {http://arxiv.org/abs/1005.1454},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{MCWR10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Moroz, Guillaume and Chablat, Damien and  Wenger, Philippe and Rouillier, Fabrice},
  title = {Cusp points in the parameter space of RPR-2PRR parallel manipulators},
  booktitle = {EuroComs'2010 - 3-rd European Conference on Mechanism Science},
  series = {New Trends in Mechanism Science: Analysis and Design},
  editor = {Doina Pisla},
  year = {2010},
  pages = {29--27},
  isbn = {9048196884},
  location = {Cluj-Napoca, Romania},
  publisher = {Springer},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-international-audience = {yes}
}
@inproceedings{Rou10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Rouillier, Fabrice},
  title = {Solving Algebraic Systems and applications to geometric computations},
  booktitle = {International Congress on Mathematical Software},
  year = {2010},
  pages = {1--1},
  location = {Kobe, Japan},
  publisher = {Springer},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-international-audience = {yes}
}
@inproceedings{F10c,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles},
  title = {{FGb: A Library for Computing Gröbner Bases}},
  booktitle = {{Mathematical Software - ICMS 2010}},
  series = {Lecture Notes in Computer Science},
  editor = {Fukuda, Komei and Hoeven, Joris and Joswig, Michael and Takayama, Nobuki},
  publisher = {Springer Berlin / Heidelberg},
  year = {2010},
  x-invited-conference = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  x-proceedings = {yes},
  pages = {84--87},
  volume = {6327},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/ICMS.pdf},
  doi = {10.1007/978-3-642-15582-6_17},
  address = {Berlin, Heidelberg},
  location = {Kobe, Japan},
  month = {September}
}
@inproceedings{F09bb,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles},
  title = {{Solving Structured Polynomial Systems and Applications to
               Cryptology}},
  booktitle = {Computer Algebra in Scientific Computing - CASC'09},
  series = {Lecture Notes in Computer Science},
  year = {2009},
  pages = {79--80},
  editor = {Vladimir Gerdt and Ernst Mayr and Evgenii Vorozhtsov},
  publisher = {Springer Berlin / Heidelberg},
  volume = {5743},
  doi = {10.1007/978-3-642-04103-7_7},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/CASC09.pdf},
  location = {Kobe, Japan},
  x-invited-conference = {yes},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-international-audience = {yes}
}
@inproceedings{F09b,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles},
  title = {{Efficient algorithms to compute Groebner Bases and applications in Cryptology}},
  year = {2009},
  booktitle = {Polynomial Computer Algebra'09},
  location = {Euler Institute, St Petersburg, Russia},
  pages = {1--1},
  month = {April},
  day = {8--12},
  x-invited-conference = {yes},
  x-proceedings = {no},
  x-international-audience = {yes}
}
@inproceedings{BFP09a,
  teams = {SALSA},
  labs = {LIP6},
  author = {Bettale, Luk and Faugère, Jean-Charles and Perret, Ludovic},
  title = {{Security Analysis of Multivariate Polynomials for Hashing}},
  booktitle = {Information Security and Cryptology: 4th International Conference, Inscrypt 2008, Revised Selected Papers},
  volume = {5487},
  editor = {Moti Yung and Dongdai Lin and Peng Liu},
  year = {2009},
  isbn = {978-3-642-01439-0},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/INSCRYPT2008.pdf},
  doi = {10.1007/978-3-642-01440-6_11},
  pages = {115--124},
  publisher = {Springer-Verlag},
  address = {Berlin, Heidelberg},
  location = {Beijing, China},
  month = {December},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{FPS09,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Perret, Ludovic and Spaenlehauer, Pierre-Jean},
  title = {{Algebraic-Differential Cryptanalysis of DES}},
  booktitle = {Western European Workshop on Research in Cryptology -  WEWoRC 2009},
  location = {Graz, Austria},
  year = {2009},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/DESweworc.pdf},
  pages = {1--5},
  doi = {10.1.1.167.4095},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  month = {July},
  x-invited-conference = {yes},
  x-editorial-board = {yes},
  x-proceedings = {no},
  x-international-audience = {yes}
}
@inproceedings{RX09,
  teams = {SALSA},
  labs = {LIP6},
  author = {Rouillier, Fabrice and Xiao, Rong},
  booktitle = {MACIS'09},
  title = {On Using Triangular Decomposition for Solving Parametric Polynomial Systems},
  location = {Fukuoka, Japan},
  pages = {1--1},
  year = {2009},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{SOCG09,
  teams = {SALSA},
  labs = {LIP6},
  author = {Cheng, Jinsan and Lazard, Sylvain and Penarnda, Luis and Pouget, Marc and Rouillier, Fabrice and Tsigaridas, Elias},
  booktitle = {Proceedings of the 25th annual symposium on Computational geometry},
  series = {SCG '09},
  title = {On the topology of planar algebraic curves},
  lip6-rank = {A},
  url = {http://portal.acm.org/citation.cfm?doid=1542362.1542424},
  editor = {Hershberger, J. and Fogel, E.},
  publisher = {ACM},
  pages = {361--370},
  doi = {10.1145/1542362.1542424},
  url = {http://hal.inria.fr/inria-00425383/en},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  x-proceedings = {yes},
  location = {Aarhus University, Denmark},
  year = {2009}
}
@inproceedings{S09,
  teams = {SALSA},
  labs = {LIP6},
  title = {Fast Algorithms for Real Solving Polynomial Systems of Inequalities/inequations},
  author = {Safey El Din, Mohab},
  booktitle = {SIAM Conference on Parallel Processing and Scientific Computing
-- High Performance Symbolic Computing},
  year = {2010},
  location = {Seattle, USA},
  publisher = {SIAM},
  pages = {1--1},
  x-invited-conference = {yes},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-international-audience = {yes}
}
@inbook{FS09,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Safey El Din, Mohab},
  chapter = {{De l'algèbre linéaire à la résolution des systèmes polynomiaux}},
  title = {Mathématiques Appliquées (L3)},
  note = {isbn: 978-2-7440-7352-6},
  isbn = {978-2-7440-7352-6},
  pages = {331--388},
  publisher = {Pearson},
  year = {2009},
  x-editorial-board = {no},
  x-international-audience = {no}
}
@inproceedings{L09-wu,
  teams = {SALSA},
  labs = {LIP6},
  author = {Lazard, Daniel},
  title = {Theorem Proving in Geometry and Tools for Polynomial System Solving},
  booktitle = {International Conference on Mathematics Mechanization (ICMM) in honor of professor {W}en-{T}sun {W}u's nineties birthday},
  year = {2009},
  location = {Beijing, China},
  month = {May},
  pages = {1--1},
  day = {11--13},
  x-proceedings = {no},
  x-international-audience = {yes},
  x-invited-conference = {yes}
}
@inproceedings{L09-macis,
  teams = {SALSA},
  labs = {LIP6},
  author = {Lazard, Daniel},
  title = {Algebraic points in geometry and application to {CAD}},
  booktitle = {International Conference on Mathematical Aspects of Computer and Information Sciences ({MACIS}) },
  series = {COE Lecture Note},
  volume = {22},
  publisher = {Kyushu University, Japan},
  year = {2009},
  pages = {1--1},
  location = {Fukuoka, Japan},
  issn = {1881-4042},
  month = {December},
  x-proceedings = {yes},
  x-international-audience = {yes}
}
@inproceedings{EGLLP09,
  teams = {SALSA},
  labs = {LIP6},
  author = {Everett, Hazel and Gillot, Christian and  Lazard, Daniel and Lazard, Sylvain and Pouget, Marc},
  title = {The {V}oronoi diagram of three arbitrary lines in R3},
  booktitle = {{25th European Workshop on Computational Geometry - EuroCG'09}},
  year = {2009},
  pages = {297--300},
  location = {Brussels, Belgium},
  month = {March},
  x-proceedings = {no},
  x-international-audience = {yes},
  url = {http://hal.inria.fr/inria-00425378/PDF/EuroCG09.pdf}
}
@inproceedings{W09a,
  teams = {SALSA},
  labs = {LIP6},
  title = {Formalization and Specification of Geometric Knowledge Objects},
  author = {Wang, Dongming},
  booktitle = {AWFS 2009: Proceedings of the Sixth Asian Workshop
               on Foundations of Software},
  editor = {Z. Hu and J. Zhang},
  year = {2009},
  month = {April},
  pages = {86--98},
  address = {Tokyo, Japan},
  publisher = {National Institute of Informatics},
  location = {Tokyo},
  x-proceedings = {yes},
  x-international-audience = {yes}
}
@inproceedings{W09b,
  teams = {SALSA},
  labs = {LIP6},
  title = {Basic Elements of Computer Geometry},
  author = {Wang, Dongming},
  booktitle = {SCSS 2009: Proceedings of the Tunisia-Japan Workshop on Symbolic
               Computation in Software Science},
  editor = {A. Bouhoula and T. Ida},
  year = {2009},
  month = {September},
  pages = {2--12},
  location = {Gammarth, Tunisia},
  publisher = {EasyChair},
  x-proceedings = {yes},
  x-international-audience = {yes}
}
@inproceedings{HW10,
  teams = {SALSA},
  labs = {LIP6},
  title = {Computing Self-intersection Loci of Parametrized
Surfaces Using Regular Systems and {Gröbner} Bases},
  author = {Huang, Yanli and Wang, Dongming},
  booktitle = {SYNASC 2009: Proceedings of the 11th International Symposium on
Symbolic and Numeric Algorithms for Scientific Computing},
  year = {2009},
  pages = {28--36},
  month = {September},
  location = {Los Alamitos, CA},
  doi = {10.1109/SYNASC.2009.43},
  publisher = {IEEE Computer Society},
  address = {Timisoara, Romania},
  x-pays = {CN},
  x-proceedings = {yes},
  x-international-audience = {yes}
}
@inproceedings{CHW10,
  teams = {SALSA},
  labs = {LIP6},
  title = {On the Design and Implementation of a Geometric Knowledge Base},
  author = {Chen, Xiaoyu and Huang, Ying and Wang, Dongming},
  booktitle = {Automated Deduction in Geometry},
  volume = {6301},
  year = {2011},
  pages = {22--41},
  doi = {10.1007/978-3-642-21046-4_2},
  isbn = {978-3-642-21045-7},
  publisher = {Springer Berlin / Heidelberg},
  address = {Berlin Heidelberg},
  series = {Lecture Notes in Artificial Intelligence},
  editor = {T. Sturm and C. Zengler},
  x-pays = {CN},
  x-proceedings = {yes},
  x-international-audience = {yes},
  x-editorial-board = {yes}
}
@inproceedings{LMNW09,
  teams = {SALSA},
  labs = {LIP6},
  title = {Stability Analysis for Discrete Biological Models Using Algebraic Methods},
  author = {Li, Xiaoliang and Mou, Chenqi and Niu, Wei and Wang, Dongming},
  booktitle = {Proceedings of the Joint Conference of ASCM 2009 and MACIS 2009},
  editor = {M. Suzuki and H. Hong and H. Anai and C. Yap and Y. Sato and H. Yoshida},
  series = {COE Lecture Note Series},
  volume = {22},
  year = {2009},
  pages = {382--385},
  address = {Fukuoka, Japan},
  month = {December},
  publisher = {Kyushu University},
  location = {Fukuoka},
  x-pays = {CN},
  x-proceedings = {yes},
  x-international-audience = {yes}
}
@inproceedings{BFP08,
  teams = {SALSA},
  labs = {LIP6},
  author = {Bettale, Luk and Faugère, Jean-Charles and Perret, Ludovic},
  title = {{Cryptanalysis of the TRMS Cryptosystem of PKC'05}},
  booktitle = { AfricaCrypt 2008},
  publisher = {Springer},
  isbn = {3-540-68159-0, 978-3-540-68159-5},
  pages = {143--155},
  numpages = {13},
  doi = {10.1007/978-3-540-68164-9_10},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/AFRICA2008.pdf},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  x-proceedings = {yes},
  editor = {Serge Vaudenay},
  series = {Lecture Notes in Computer Science},
  volume = {5023},
  address = {Casablanca, Morocco},
  acmid = {1788649},
  location = {Casablanca, Morocco},
  year = {2008}
}
@inproceedings{CHW08,
  teams = {SALSA},
  labs = {LIP6},
  author = {Chen, Xiaoyu and Huang, Ying and Wang, Dongming},
  title = {On the Design and Implementation of a Geometric
                  Knowledge Base},
  booktitle = {Proceedings of ADG 2008 --- Seventh International
                  Workshop on Automated Deduction in Geometry},
  month = {September},
  editor = {Kauers, M. and Wu, M. and Zeng, Z.},
  address = {Shanghai, China},
  publisher = {East China Normal University},
  location = {Shanghai},
  pages = {62--78},
  note = {Chinese version in Journal of Computer Applications},
  year = {2008},
  x-pays = {CN},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{DBLP,
  teams = {SALSA},
  labs = {LIP6},
  x-lip6id = {8738},
  author = {Laigle-Chapuy, Yann},
  title = {A Note on a Class of Quadratic Permutations over $F(2^n)$},
  booktitle = {Proceedings of the 17th international conference on Applied algebra, algebraic algorithms and error-correcting codes},
  series = {AAECC'07},
  location = {Bangalore, India},
  isbn = {3-540-77223-5, 978-3-540-77223-1},
  url = {http://dl.acm.org/citation.cfm?id=1781734.1781753},
  acmid = {1781753},
  publisher = {Springer-Verlag},
  address = {Berlin, Heidelberg},
  year = {2008},
  pages = {130--137},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  x-proceedings = {yes}
}
@inproceedings{F08,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles},
  title = {{On the complexity of the Minrank problem}},
  year = {2008},
  x-international-audience = {yes},
  x-proceedings = {yes},
  x-invited-conference = {yes},
  booktitle = { Second Workshop on Mathematical Cryptology},
  pages = {2--3},
  month = {October},
  address = {Santander, Spain}
}
@inproceedings{FP08b,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Perret, Ludovic},
  title = {{On the Security of UOV}},
  year = {2008},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  x-proceedings = {yes},
  booktitle = { First International Conference on Symbolic
                  Computation and Cryptography, SCC 08},
  series = {LMIB},
  pages = {103--109},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/SCC08a.pdf},
  month = {April},
  address = {Beijing, China}
}
@inproceedings{FP08c,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Perret, Ludovic},
  title = {{High order derivatives and decomposition of
                  multivariate polynomials}},
  year = {2008},
  booktitle = {Second Workshop on Mathematical Cryptology},
  pages = {15--19},
  month = {October},
  address = {Santander (Spain)},
  x-international-audience = {yes},
  x-proceedings = {yes},
  x-invited-conference = {yes}
}
@inproceedings{Crypto08,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Levy-dit-Vehel, Françoise and Perret, Ludovic},
  title = {Cryptanalysis of Minrank},
  booktitle = {Advances in Cryptology CRYPTO 2008},
  year = {2008},
  editor = {David Wagner},
  lip6-rank = {A},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  x-proceedings = {yes},
  volume = {5157},
  isbn = {978-3-540-85173-8},
  doi = {10.1007/978-3-540-85174-5_16},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/crypto08.pdf},
  pages = {280--296},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  address = {Berlin, Heidelberg},
  location = {Santa Barbara, CA, USA},
  month = {August}
}
@inproceedings{L08b,
  teams = {SALSA},
  labs = {LIP6},
  author = {Lazard, Daniel},
  title = {{Can Exact Computation Help Optimization ?}},
  year = {2008},
  booktitle = {Proceedings of the 2008 International Symposium on
                  Nonlinear Theory and its Applications (NOLTA 08)},
  pages = {672--675},
  location = {Budapest, Hungary},
  month = {September},
  isbn = {978-4-88552-234-5 C3055},
  editor = {T. Ueta},
  publisher = {IEICE Japan},
  x-invited-conference = {yes},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{MR08,
  teams = {SALSA},
  labs = {LIP6},
  author = {Moroz, Guillaume and Rouillier, Fabrice},
  title = {Explicit classification of the $9$ first Haas
                  parametric systems},
  booktitle = {Proceedings of ADG 2008 --- Seventh International
                  Workshop on Automated Deduction in Geometry},
  location = {Shanghai, China},
  year = {2008},
  pages = {1--1},
  editor = {T. Sturm},
  x-proceedings = {no},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{Mor08,
  teams = {SALSA},
  labs = {LIP6},
  author = {Moroz, Guillaume},
  title = {Regular Decompositions},
  booktitle = {Computer Mathematics: 8th Asian Symposium, ASCM
                  2007,   Revised and Invited Papers},
  year = {2008},
  month = {December},
  location = {Singapore},
  isbn = {978-3-540-87826-1},
  pages = {263--277},
  doi = {10.1007/978-3-540-87827-8_22},
  publisher = {Springer-Verlag},
  address = {Berlin, Heidelberg},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{NW08b,
  teams = {SALSA},
  labs = {LIP6},
  author = {Niu, Wei and Wang, Dongming},
  booktitle = {AB 2008: Proceedings of the Third International Conference on
                  Algebraic Biology},
  month = {July/August},
  address = {Hagenberg, Austria},
  publisher = {Springer-Verlag},
  location = {Berlin Heidelberg},
  series = {Lecture Notes in Computer Science},
  volume = {5147},
  title = {Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems},
  pages = {156--171},
  doi = {10.1007/978-3-540-85101-1_12},
  year = {2008},
  x-proceedings = {yes},
  x-international-audience = {yes},
  x-editorial-board = {yes}
}
@inproceedings{PLRT08,
  teams = {SALSA},
  labs = {LIP6},
  author = {Pouget, Marc and Lazard, Sylvain and Rouillier, Fabrice and Tsigaridas, Elias and Penarndas, Luis},
  title = {On the Topology of Planar Algebraic Curves},
  booktitle = {European Workshop on Computational Geometry},
  location = {Nancy},
  year = {2008},
  pages = {1--1},
  x-proceedings = {no},
  x-editorial-board = {yes},
  x-international-audience = {no}
}
@inproceedings{R08,
  teams = {SALSA},
  labs = {LIP6},
  author = {Renault, Guénaël},
  title = {Introduction à la Théorie de Galois Effective},
  booktitle = {JNCF'08: Journées Nationales du Calcul Formel
                  (online)},
  pages = {141--197},
  month = {October},
  location = {Luminy},
  year = {2008},
  url = {http://jncf2008.loria.fr/jncf08.pdf},
  x-editorial-board = {yes},
  x-international-audience = {no},
  x-proceedings = {no},
  x-invited-conference = {yes}
}
@inproceedings{S08b,
  teams = {SALSA},
  labs = {LIP6},
  author = {Safey El Din, Mohab},
  title = {Practical and Theoretical Issues for the Computation
                  of Generalized Critical Values of a Polynomial Mapping},
  booktitle = {Computer Mathematics: 8th Asian Symposium, ASCM
                  2007. Revised and Invited Papers},
  month = {December},
  location = {Singapore},
  year = {2008},
  isbn = {978-3-540-87826-1},
  pages = {42--56},
  doi = {10.1007/978-3-540-87827-8_4},
  publisher = {Springer-Verlag},
  address = {Berlin, Heidelberg},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{SFP08,
  teams = {SALSA},
  labs = {LIP6},
  author = {Simonetti, Ilaria and Faugère, Jean-Charles and Perret, Ludovic},
  title = {{Algebraic Attack Against Trivium}},
  year = {2008},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  x-proceedings = {yes},
  booktitle = {First International Conference on Symbolic
                  Computation and Cryptography, SCC 08},
  series = {LMIB},
  pages = {95--102},
  x-pays = {IT},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/SCC08c.pdf},
  month = {April},
  address = {Beijing, China}
}
@inproceedings{PKC08,
  teams = {SALSA},
  labs = {LIP6},
  author = {Fouque, Pierre-Alain and Macariorat, Gilles and Perret, Ludovic and Stern, Jacques},
  title = {On the Security of the l-IC Signature Scheme},
  booktitle = {Public Key Cryptography, 4th International Workshop on Practice and Theory in Public Key Cryptography, PKC 2008},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {4939},
  pages = {1--17},
  location = {Barcelona, Spain},
  year = {2008},
  lip6-rank = {A},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{soos10Enh,
  teams = {SALSA},
  labs = {LIP6},
  author = {Soos, Mate},
  title = {Enhanced Gaussian Elimination in {DPLL}-based {SAT} Solvers},
  booktitle = {Pragmatics of SAT},
  year = {2010},
  month = {July},
  address = {Edinburgh, Scotland, GB},
  pages = {1--1},
  x-proceedings = {no},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{SoosTools,
  teams = {SALSA},
  labs = {LIP6},
  author = {Soos, Mate},
  title = {Grain of Salt --- an Automated Way to Test Stream Ciphers through SAT Solvers},
  booktitle = {Tools'10: Proceedings of the Workshop on Tools for Cryptanalysis 2010},
  pages = {1--2},
  year = {2010},
  location = {Egham, England, GB},
  address = {RHUL},
  location = {London (GB)},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{FL10b,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Lachartre, Sylvain},
  title = {{Parallel Gaussian Elimination for Gröbner bases computations in finite fields}},
  booktitle = {Proceedings of the 4th International Workshop on Parallel and Symbolic Computation},
  series = {PASCO '10},
  year = {2010},
  editor = {M. Moreno-Maza and J.L. Roch},
  month = {July},
  organization = {ACM},
  isbn = {978-1-4503-0067-4},
  location = {Grenoble, France},
  pages = {89--97},
  numpages = {9},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/PASCO2010.pdf},
  doi = {10.1145/1837210.1837225},
  acmid = {1837225},
  address = {New York, NY, USA},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{FOPTDist_YACC10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and  Otmani, Ayoub and Perret, Ludovic and Tillich, Jean-Pierre},
  title = {{A Distinguisher for High Rate McEliece Cryptosystem -- Extended Abstract}},
  booktitle = {Yet Another Conference on Cryptography, YACC 2010},
  pages = {1--4},
  year = {2010},
  editor = {P. Véron},
  address = {Toulon},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/ARTICLE_YACC2.pdf},
  location = {Porquerolles (France)},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{FOPT_YACC10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and  Otmani, Ayoub and Perret, Ludovic and Tillich, Jean-Pierre},
  title = {{Algebraic Cryptanalysis of {McEliece}} Variants with Compact Keys -- Toward a Complexity Analysis},
  booktitle = {Yet Another Conference on Cryptography, YACC 2010},
  pages = {1--4},
  year = {2010},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/ARTICLE_YACC1.pdf},
  editor = {P. Véron},
  address = {Toulon},
  location = {Porquerolles (France)},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{F10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles},
  title = {{Structured Polynomial Systems and Algebraic Cryptanalysis of McEliece Variants with Compact Keys}},
  year = {2010},
  booktitle = {DSO National Labs},
  location = {Singapour},
  pages = {1--1},
  month = {January},
  x-invited-conference = {yes},
  x-proceedings = {no},
  x-international-audience = {yes}
}
@inproceedings{PKC11a,
  teams = {SALSA},
  labs = {LIP6},
  author = {Bouillaguet, Charles and Faugère, Jean-Charles and Fouque, Pierre-Alain and Perret, Ludovic},
  title = {{Practical Cryptanalysis of the Identification Scheme Based on  the Isomorphism of Polynomial with One Secret Problem}},
  booktitle = {Public Key Cryptography - PKC 2011},
  volume = {6571},
  year = {2011},
  pages = {473--493},
  publisher = {Springer Berlin / Heidelberg},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/BFFP11.pdf},
  doi = {10.1007/978-3-642-19379-8_29},
  series = {Lecture Notes in Computer Science},
  editor = {Catalano, D. and Fazio, N. and Gennaro, R. and Nicolosi, A.},
  location = {Taormina, Italy},
  lip6-rank = {A},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{PKC11b,
  teams = {SALSA},
  labs = {LIP6},
  author = {Bettale, Luk and Faugère, Jean-Charles and Perret, Ludovic},
  title = {{Cryptanalysis of Multivariate and Odd-Characteristic HFE Variants}},
  booktitle = {Public Key Cryptography - PKC 2011},
  volume = {6571},
  year = {2011},
  pages = {441--458},
  publisher = {Springer Berlin / Heidelberg},
  series = {Lecture Notes in Computer Science},
  doi = {10.1007/978-3-642-19379-8_27},
  editor = {Catalano, D. and Fazio, N. and Gennaro, R. and Nicolosi, A.},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/pkc2011a.pdf},
  location = {Taormina, Italy},
  lip6-rank = {A},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{COSADE:11,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Goyet, Christopher and Renault, Guénaël},
  title = {Algebraic Side Channel Analysis},
  booktitle = {COSADE'11: The 2nd International Workshop on Constructive Side-Channel Analysis and Secure Design},
  pages = {1--6},
  year = {2011},
  location = {Darmstadt, Germany},
  address = {Fraunhofer SIT},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@book{WMLYJH11,
  teams = {SALSA},
  labs = {LIP6},
  author = {Wang, Dongming and Mou, Chenqi and Li, Xiaoliang and Yang, Jing and Jin, Meng and Huang, Yanli},
  title = {{Polynomial Algebra (in Chinese)}},
  year = {2011},
  publisher = {Higher Education Press},
  location = {Beijing},
  isbn = {9787040316988},
  pages = {1--374},
  note = {isbn: 9787040316988},
  x-pays = {CN},
  x-international-audience = {no}
}
@article{Wa11,
  teams = {SALSA},
  labs = {LIP6},
  author = {Wang, Dongming},
  journal = {The Aeronautical Journal},
  title = {Algebraic Analysis of Stability and Bifurcation for Nonlinear Flight Dynamics},
  volume = {115},
  number = {1168},
  pages = {345--349},
  year = {2011},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{WGLL10,
  teams = {SALSA},
  labs = {LIP6},
  author = {Wang, Dongming and Gao, Xiao-Shan and Liu, Zhuojun and Li, Ziming},
  editor = {Jiang, Boju and Li, Banghe and Gao, Xiao-Shan and Li, Wenlin},
  booktitle = {Wen-tsün Wu and Chinese Mathematics},
  title = {{A Review of the Development of Mathematics Mechanization (in {Chinese})}},
  publisher = {Global Publishing},
  location = {Singapore},
  pages = {221--233},
  year = {2010},
  isbn = {9789814261951},
  x-pays = {CN},
  x-proceedings = {yes},
  x-international-audience = {no}
}
@article{ZWH11,
  teams = {SALSA},
  labs = {LIP6},
  author = {Zhao, Ting and Wang, Dongming and Hong, Hoon},
  title = {Solution Formulas for Cubic Equations Without or With Constraints},
  journal = {Journal of Symbolic Computation},
  volume = {46},
  number = {8},
  pages = {904--918},
  year = {2011},
  doi = {10.1016/j.jsc.2011.02.001},
  x-pays = {US,CN},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{FSE11,
  teams = {SALSA},
  labs = {LIP6},
  author = {Albrecht, Martin and Farshim, Pooya and Paterson, Kenneth and Watson, Gaven},
  title = {{On Cipher-Dependent Related-Key Attacks in the Ideal Cipher Model}},
  booktitle = {Fast Software Encryption 2011, FSE},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {},
  year = {2011},
  x-pays = {GB},
  location = {Lyngby, Denmark},
  pages = {1--20},
  lip6-rank = {A},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{AS11,
  teams = {SALSA},
  labs = {LIP6},
  author = {Greuet, Aurélien and Safey El Din, Mohab},
  title = {{Deciding reachability of the infimum of a multivariate polynomial}},
  booktitle = {ISSAC '11: Proceedings of the 2011 international symposium on Symbolic and algebraic computation},
  series = {ISSAC '11},
  year = {2011},
  isbn = {978-1-4503-0675-1},
  location = {San Jose, California, USA},
  pages = {131--138},
  numpages = {8},
  publisher = {ACM},
  address = {New York, NY, USA},
  doi = {http://doi.acm.org/10.1145/1993886.1993910},
  acmid = {1993910},
  note = {},
  lip6-rank = {A},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{FM11,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Mou, Chenqi},
  title = {{Fast Algorithm for Change of Ordering of Zero-dimensional Gröbner Bases with Sparse Multiplication Matrices}},
  booktitle = {Proceedings of the 36th international symposium on Symbolic and algebraic computation},
  series = {ISSAC '11},
  year = {2011},
  pages = {115--122},
  numpages = {8},
  isbn = {978-1-4503-0675-1},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/FM11.pdf},
  doi = {10.1145/1993886.1993908},
  location = {San Jose, California, USA},
  publisher = {ACM},
  address = {New York, NY, USA},
  lip6-rank = {A},
  acmid = {1993908},
  x-pays = {CN},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{PoRy11,
  teams = {SALSA},
  labs = {LIP6},
  author = {Poteaux, Adrien and Rybowicz, Marc},
  title = {{Complexity bounds for the rational Newton-Puiseux algorithm over finite fields}},
  publisher = {Springer Berlin / Heidelberg},
  issn = {0938-1279},
  journal = {Applicable Algebra in Engineering, Communication and Computing},
  year = {2011},
  pages = {187--217},
  volume = {22},
  issue = {3},
  doi = {10.1007/s00200-011-0144-6},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{FLR11,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Lubicz, David and Robert, Damien},
  journal = {Journal Of Algebra},
  title = {{Computing modular correspondences for abelian varieties}},
  volume = {343},
  number = {1},
  pages = {248--277},
  issn = {0021-8693},
  html = {http://hal.archives-ouvertes.fr/hal-00426338_v1/},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/JAlgebra2011.pdf},
  doi = {10.1016/j.jalgebra.2011.06.031},
  year = {2011},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{AFFP11,
  teams = {SALSA},
  labs = {LIP6},
  author = {Albrecht, Martin and Faugère, Jean-Charles and Farshim, Pooya and Perret, Ludovic},
  title = {Polly Cracker, Revisited},
  booktitle = {Advances in Cryptology Asiacrypt 2011},
  editor = {D.H. Lee and X. Wang},
  year = {2011},
  pages = {179--196},
  volume = {7073},
  location = {Seoul, Korea},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/Asia2011.pdf},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer Berlin / Heidelberg},
  isbn = {978-3-642-25384-3},
  lip6-rank = {A},
  doi = {10.1007/978-3-642-25385-0_10},
  x-pays = {DE},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{ITW2011,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Gauthier-Umaña, Valérie Otmani, Ayoub and Perret, Ludovic and Tillich, Jean-Pierre},
  title = {{A Distinguisher for High Rate McEliece Cryptosystems}},
  booktitle = {Information Theory Workshop (ITW), 2011 IEEE},
  year = {2011},
  month = {October},
  volume = {},
  number = {},
  pages = {282--286},
  location = {Paraty, Brazil},
  doi = {10.1109/ITW.2011.6089437},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/ITW2011.pdf},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{DFPW11,
  hal_id = {hal-00776073},
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Lin, Dongdai and Perret, Ludovic and Wang, Tianze},
  title = {{On enumeration of polynomial equivalence classes and their application to MPKC}},
  journal = {Finite Fields and Their Applications},
  year = {2012},
  volume = {18},
  number = {2},
  pages = {283 - 302},
  pdf = {http://www-polsys.lip6.fr/~jcf/Papers/FFA2011.pdf},
  url = {http://hal.inria.fr/hal-00776073},
  issn = {1071-5797},
  doi = {doi:10.1016/j.ffa.2011.09.001},
  publisher = {Elsevier},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{FL11,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Liang, Ye},
  title = {{Pivoting in Extended Rings for Computing Approximate Gröbner Bases}},
  journal = {Mathematics in Computer Science},
  publisher = {Birkhäuser Basel},
  issn = {1661-8270},
  pages = {179--194},
  volume = {5},
  issue = {2},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/MCS2011.pdf},
  doi = {10.1007/s11786-011-0089-y},
  year = {2011},
  x-pays = {CN},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@proceedings{WNIJPWZ12,
  teams = {SALSA},
  labs = {LIP6},
  editor = {Wang, Dongming and Negru, Viorel and Ida, Tetsuo and Jebelean, Tudor and Petcu, Dana and Watt, Stephen M. and Zaharie, Daniela},
  publisher = {IEEE Computer Society},
  location = {Los Alamitos, CA},
  title = {Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms
           for Scientific Computing (SYNASC 2011)},
  month = {September},
  address = {Timisoara, Romania},
  pages = {1--414},
  year = {2011},
  isbn = {978-0-7695-4630-8},
  x-pays = {RO,JP,AT,CA},
  x-international-audience = {yes},
  x-proceedings = {yes}
}
@article{HW11,
  teams = {SALSA},
  labs = {LIP6},
  author = {Huang, Yanli and Wang, Dongming},
  title = {{Computing Intersection and Self-intersection Loci of Parametrized
           Surfaces Using Regular Systems and {Gröbner} Bases}},
  journal = {Computer Aided Geometric Design},
  volume = {28},
  number = {9},
  pages = {566--581},
  year = {2011},
  x-pays = {CN},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  doi = {10.1016/j.cagd.2011.09.002}
}
@article{LMNW11,
  teams = {SALSA},
  labs = {LIP6},
  author = {Li, Xiaoliang and Mou, Chenqi and Niu, Wei and Wang, Dongming},
  title = {Stability Analysis for Discrete Biological Models Using
           Algebraic Methods},
  journal = {Mathematics in Computer Science},
  volume = {5},
  number = {3},
  pages = {247--262},
  year = {2011},
  x-pays = {CN},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  doi = {10.1007/s11786-011-0096-z}
}
@inproceedings{DBLP:conf/ima/ArmknechtAPS11,
  teams = {SALSA},
  labs = {LIP6},
  author = {Armknecht, Frederik and  Augot, Daniel and Perret, Ludovic and Sadeghi, Ahmad-Reza},
  title = {On Constructing Homomorphic Encryption Schemes from Coding Theory},
  booktitle = {IMA Int. Conf.},
  year = {2011},
  pages = {23--40},
  doi = {10.1007/978-3-642-25516-8_3},
  x-proceedings = {yes},
  x-international-audience = {yes}
}
@inproceedings{ECC11,
  teams = {SALSA},
  labs = {LIP6},
  author = {Faugère, Jean-Charles},
  title = {Solving efficiently structured polynomial systems and Applications in Cryptology},
  booktitle = {The 15th workshop on Elliptic Curve Cryptography ECC 2011},
  year = {2011},
  pages = {1--1},
  location = {Nancy},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{GGSZ11,
  hal_id = {hal-00778239},
  url = {http://hal.inria.fr/hal-00778239},
  teams = {POLSYS},
  labs = {LIP6},
  language = {English},
  author = {Greuet, Aurélien and Guo, Feng and Safey El Din, Mohab and Zhi, Lihong},
  title = {{Global optimization of polynomials restricted to a smooth variety using sums of squares}},
  journal = {Journal of Symbolic Computation},
  publisher = {Academic Press, Inc.},
  audience = {international },
  collaboration = {Work supported by ECCA project at LIAMA },
  address = {Duluth, MN, USA},
  volume = {47},
  number = {7},
  year = {2012},
  url = {http://www-polsys.lip6.fr/~safey/Articles/sos_vcg_final.pdf},
  doi = {10.1016/j.jsc.2011.12.003},
  issn = {},
  x-pays = {CN},
  pages = {503--518},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{FGJOPJM11,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Gligoroski, Danilo and Jensen, Erlend and Odegard, Rune and  Perret, Ludovic and Johan Knapskog, Svein and Markovski, Smile},
  title = {{MQQ-SIG}},
  isbn = {978-3-642-32297-6},
  editor = {Chen, Liqun and Yung, Moti and Zhu, Liehuang},
  doi = {10.1007/978-3-642-32298-3_13},
  booktitle = {Trusted Systems - The Third International Conference on Trusted Systems - INTRUST 2011},
  year = {2012},
  series = {Lecture Notes in Computer Science},
  volume = {7222},
  publisher = {Springer Verlag},
  location = {Beijing, China},
  editor = {Moti Y. and Liqun C. and Liehuang Z.},
  pages = {184-203},
  x-pays = {NO},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{LW11,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Li, Xiaoliang and Wang, Dongming},
  title = {{Simple Decomposition of Polynomial Sets over Finite Fields
           (in {Chinese})}},
  journal = {Journal of Systems Science and Mathematical Sciences},
  volume = {32},
  number = {1},
  pages = {15--26},
  year = {2012},
  x-pays = {CN},
  x-editorial-board = {yes},
  x-international-audience = {no}
}
@article{CW11,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Chen, Xiaoyu and Wang, Dongming},
  title = {{Management of Geometric Knowledge in Textbooks}},
  journal = {Data and Knowledge Engineering},
  volume = {73},
  pages = {43--57},
  year = {2012},
  x-pays = {CN},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  url = {http://hal.inria.fr/hal-00779254},
  hal_id = {hal-00779254},
  doi = {10.1016/j.datak.2011.10.004}
}
@inproceedings{ZWHA11,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Zhao, Ting and Wang, Dongming and Hong, Hoon and Aubry, Philippe},
  title = {{Real Solution Formulas of Cubic and Quartic Equations
           Applied to Generate Dynamic Diagrams with Inequality Constraints}},
  booktitle = {SAC 2012: Proceedings of the 27th ACM Symposium on Applied Computing},
  pages = {94--101},
  year = {2012},
  month = {March},
  address = {Riva del Garda, Italy},
  publisher = {ACM Press},
  location = {New York},
  doi = {10.1145/2245276.2245297},
  x-pays = {CN,US},
  x-proceedings = {yes},
  x-international-audience = {yes}
}
@inproceedings{EuroCrypt12,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Perret, Ludovic and Petit, Christophe and Renault, Guénaël},
  title = {{Improving the Complexity of Index Calculus Algorithms in Elliptic Curves over Binary Fields}},
  booktitle = {Advances in Cryptology  EUROCRYPT 2012},
  series = {Lecture Notes in Computer Science},
  editor = {Pointcheval, David and Johansson, Thomas},
  publisher = {Springer Berlin / Heidelberg},
  isbn = {978-3-642-29010-7},
  year = {2012},
  volume = {7237},
  pages = {27-44},
  location = {Cambridge},
  doi = {10.1007/978-3-642-29011-4_4},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/euro2012.pdf},
  lip6-rank = {A},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{ACFP12,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Albrecht, Martin and Cid, Carlos and Faugère, Jean-Charles and  Perret, Ludovic},
  title = {{On the relation between the MXL family of algorithms and Gröbner basis algorithms}},
  journal = {Journal of Symbolic Computation},
  publisher = {Academic Press, Inc.},
  address = {Duluth, MN, USA},
  volume = {47},
  number = {},
  year = {2012},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/ACFP12.pdf},
  issn = {0747-7171},
  doi = {doi:10.1016/j.jsc.2012.01.002},
  pages = {926-941},
  note = {in press},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{CGFR2012,
  hal_id = {hal-00777829},
  url = {http://hal.inria.fr/hal-00777829},
  language = {Anglais},
  audience = {internationale },
  teams = {POLSYS},
  labs = {LIP6},
  author = {Carlet, Claude and Faugère, Jean-Charles and Goyet, Christopher and Renault, Guénaël},
  title = {{Analysis of the Algebraic Side Channel Attack}},
  journal = {Journal of Cryptographic Engineering},
  publisher = {Springer-Verlag},
  pdf = {http://hal.inria.fr/hal-00777829/PDF/ASCA\_JCEN.pdf},
  year = {2012},
  month = may,
  volume = {2},
  issue = {1},
  issn = {2190-8508},
  pages = {45-62},
  doi = {10.1007/s13389-012-0028-0},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  month = {February}
}
@inproceedings{FS12,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Svartz, Jules},
  title = {{Solving Polynomial Systems Globally Invariant Under an Action of the Symmetric Group and Application to the Equilibria of N vortices in the Plane}},
  booktitle = {Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation},
  series = {ISSAC '12},
  year = {2012},
  pages = {170--178},
  numpages = {9},
  isbn = {978-1-4503-1269},
  location = {Grenoble, France},
  publisher = {ACM},
  address = {New York, NY, USA},
  doi = {10.1145/2442829.2442856},
  acmid = {2442856},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/FS12.pdf},
  lip6-rank = {A},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{FBP12,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Bettale, Luk and Faugère, Jean-Charles and Perret, Ludovic},
  title = {{Solving Polynomial Systems over Finite Fields: Improved  Analysis of the Hybrid Approach}},
  booktitle = {Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation},
  series = {ISSAC '12},
  year = {2012},
  pages = {67--74},
  numpages = {8},
  isbn = {978-1-4503-1269},
  location = {Grenoble, France},
  publisher = {ACM},
  address = {New York, NY, USA},
  doi = {10.1145/2442829.2442843},
  acmid = {2442843},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/FBP12.pdf},
  lip6-rank = {A},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{FSS12,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Safey El Din, Mohab and Spaenlehauer, Pierre-Jean},
  title = {{Critical Points and Gröbner Bases: the Unmixed Case}},
  booktitle = {Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation},
  series = {ISSAC '12},
  year = {2012},
  pages = {162--169},
  numpages = {8},
  isbn = {978-1-4503-1269},
  location = {Grenoble, France},
  publisher = {ACM},
  address = {New York, NY, USA},
  doi = {10.1145/2442829.2442855},
  acmid = {2442855},
  url = {http://www-polsys.lip6.fr/~jcf/Papers/FSS12.pdf},
  lip6-rank = {A},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{ORY12,
  hal_id = {hal-00777860},
  language = {Anglais},
  audience = {internationale },
  teams = {POLSYS},
  labs = {LIP6},
  x-lip6id = {8639},
  author = {Orange, Sébastien and Renault, Guénaël and Yokoyama, Kazuhiro},
  title = {{Efficient Arithmetic in Successive Algebraic Extension Fields Using Symmetries}},
  journal = {Mathematics in Computer Science},
  publisher = {SP Birkhäuser Verlag Basel},
  url = {http://hal.inria.fr/hal-00777860},
  pdf = {http://hal.inria.fr/hal-00777860/PDF/mcs-main.pdf},
  year = {2012},
  month = sep,
  issn = {1661-8270},
  pages = {217-233},
  volume = {6},
  number = {3 },
  issn = {1661-8270},
  doi = {10.1007/s11786-012-0112-y},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  month = {May}
}
@article{W12,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Wang, Dongming},
  title = {{Algebraic Stability Criteria and Symbolic Derivation of Stability Conditions
           for Feedback Control Systems}},
  journal = {International Journal of Control},
  volume = {85},
  number = {10},
  pages = {1414-1421},
  year = {2012},
  note = {In press},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  url = {http://hal.inria.fr/hal-00779248},
  doi = {10.1080/00207179.2012.686633}
}
@article{JLW12,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Jin, Meng and Li, Xiaoliang and Wang, Dongming},
  title = {{A New Algorithmic Scheme for Computing Characteristic Sets}},
  journal = {Journal of Symbolic Computation},
  volume = {},
  number = {},
  pages = {1--26},
  year = {2012},
  note = {In press},
  x-pays = {CN},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  doi = {}
}
@article{NW12,
  teams = {POLSYS},
  labs = {LIP6},
  hal_id = {hal-00779245},
  author = {Niu, Wei and Wang, Dongming},
  title = {{Algebraic Analysis of Stability and Bifurcation of a Self-assembling Micelle System}},
  journal = {Applied Mathematics and Computation},
  volume = {219},
  number = {1},
  pages = {108--121},
  year = {2012},
  note = {In press},
  x-pays = {},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  doi = {10.1016/j.amc.2012.04.087}
}
@misc{CWZ12,
  teams = {POLSYS},
  labs = {LIP6},
  x-lip6id = {8644},
  author = {Chen, Xiaoyu and Wang, Dongming and Zhao, Ting},
  title = {{{GeoText}: An Intelligent Dynamic Geometry Textbook (Extended Abstract)}},
  note = {Extended Abstract / software demo a ISSAC 2012},
  pages = {1--5},
  year = {2012},
  x-pays = {CN},
  x-international-audience = {yes}
}
@inproceedings{A12,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Albrecht, Martin},
  title = {{The M4RIE library for dense linear algebra over small fields with even characteristic}},
  booktitle = {ISSAC'12: Proceedings of the 2012 international symposium on Symbolic and algebraic computation},
  series = {ISSAC '12},
  year = {2012},
  pages = {28--34},
  isbn = {978-1-4503-1269},
  location = {Grenoble, France},
  publisher = {ACM},
  address = {New York, NY, USA},
  doi = {},
  lip6-rank = {A},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{ST12,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Strzebonski, Adam and Tsigaridas, Elias},
  title = {{Univariate Real Root Isolation in Multiple Extension Fields}},
  booktitle = {ISSAC '12: Proceedings of the 2012 international symposium on Symbolic and algebraic computation},
  series = {ISSAC '12},
  year = {2012},
  pages = {343--350},
  isbn = {978-1-4503-1269},
  location = {Grenoble, France},
  publisher = {ACM},
  address = {New York, NY, USA},
  url = {http://hal.inria.fr/hal-00776074},
  doi = {},
  lip6-rank = {A},
  language = {English},
  audience = {international },
  affiliation = {Wolfram Research , POLSYS - INRIA
                  Paris-Rocquencourt},
  pdf = {http://hal.inria.fr/hal-00776074/PDF/st-rsmef.pdf},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{HS12,
  hal_id = {hal-00778365},
  url = {http://hal.inria.fr/hal-00778365},
  language = {English},
  teams = {POLSYS},
  audience = {international },
  collaboration = {QOLAPS Associate Team Program },
  pdf = {http://hal.inria.fr/hal-00778365/PDF/vqe\_jsc\_final.pdf},
  labs = {LIP6},
  author = {Hong, Hoon and Safey El Din, Mohab},
  title = {{Variant Quantifier Elimination}},
  journal = {Journal of Symbolic Computation},
  year = {2012},
  volume = {47},
  number = {7},
  pages = {883--901},
  doi = {10.1016/j.jsc.2011.05.014},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  x-pays = {US}
}
@inproceedings{clt-casc-2012,
  teams = {POLSYS},
  labs = {LIP6},
  hal_id = {hal-00776212},
  author = {Cheng, Jinsan  and Li, Jia  and Tsigaridas, Elias},
  title = {Local Generic Position for Root Isolation of Zero-dimensional Triangular Polynomial Systems},
  booktitle = {Proc. Computer Algebra in Scientific Computing
                  (CASC)},
  language = {English},
  affiliation = {Key Laboratory of Mathematics Mechanization - KLMM ,
                  POLSYS - INRIA Paris-Rocquencourt},
  pages = {186--197},
  location = {Maribor, Slovenia},
  year = {2012},
  editor = {W. Koepf and E.Vorozhtsov},
  volume = {XXXX},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  url = {http://hal.inria.fr/hal-00776212},
  month = sep,
  doi = {},
  pdf = {http://hal.inria.fr/hal-00776212/PDF/lct-lgp.pdf},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{yang:hal-00779259,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Yang, Jing and Wang, Dongming and Hong, Hoon},
  title = {{Improving Angular Speed Uniformity by Optimal C0 Piecewise Reparameterization}},
  booktitle = {{14th International Workshop on Computer Algebra in Scientific Computing}},
  year = {2012},
  series = {Lecture Notes in Computer Science},
  doi = {10.1007/978-3-642-32973-9\_29},
  publisher = {Springer},
  volume = {7442},
  pages = {349-360},
  address = {Maribor, Slovénie},
  x-international-audience = {yes},
  x-proceedings = {yes},
  url = {http://hal.inria.fr/hal-00779259},
  hal_id = {hal-00779259}
}
@inbook{etv-dg-2012,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Emiris, Ioannis~Z. and Tsigaridas, Elias  and Varvitsiotis, Antonios},
  title = {Mixed volume and distance geometry techniques for counting Euclidean embeddings of rigid graphs},
  booktitle = {Distance Geometry: With Applications to Molecular Conformation and Sensor Networks},
  editor = {C.~Lavor and L.~Liberti and N.~Maculan and A.~Mucherino},
  publisher = {Springer-Verlag},
  year = {2012},
  edition = {(To appear)},
  chapter = {XX},
  hal_id = {hal-00776252},
  url = {http://hal.inria.fr/hal-00776252},
  language = {English},
  affiliation = {Department of Informatics and Telecomunications - DI
                  , POLSYS - INRIA Paris-Rocquencourt , The Centrum
                  Wiskunde \& Informatica - CWI},
  audience = {international },
  pdf = {http://hal.inria.fr/hal-00776252/PDF/etv-distance.pdf},
  pages = {1--23},
  x-proceedings = {no},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inbook{ept-crc-2012,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Emiris , Ioannis~Z. and Pan, Victor~Y. and Tsigaridas, Elias},
  title = {Algebraic and numerical algorithms},
  booktitle = {Algorithms and Theory of Computation Handbook},
  editor = {M.~J. Atallah and M. Blanton},
  edition = {3nd},
  publisher = {CRC Press Inc.},
  year = {2012},
  pages = {1--40},
  chapter = {17},
  address = {Boca Raton, Florida},
  x-proceedings = {no},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{BBvdH12,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Benoit, Alexandre and Bostan, Alin and van der Hoeven, Joris},
  title = {{Quasi-Optimal Multiplication of Linear Differential Operators}},
  booktitle = {Foundations of Computer Science (FOCS), 2012 IEEE 53rd Annual Symposium on},
  series = {FOCS '12},
  month = {oct.},
  volume = {},
  number = {},
  year = {2012},
  pages = {524 -530},
  location = {New Brunswick, New Jersey, USA},
  publisher = {IEEE Computer Society},
  address = {Los Alamitos, CA, USA},
  url = {http://hal.archives-ouvertes.fr/hal-00685401},
  doi = {10.1109/FOCS.2012.57},
  lip6-rank = {A},
  issn = {0272-5428},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{GFR12,
  teams = {POLSYS},
  labs = {LIP6},
  hal_id = {hal-00777804},
  url = {http://hal.inria.fr/hal-00777804},
  pdf = {http://hal.inria.fr/hal-00777804/PDF/implicitDSA.pdf},
  author = {Faugère, Jean-Charles and Goyet, Christopher and Renault, Guénaël},
  title = {Attacking (EC)DSA Given Only an Implicit Hint},
  language = {Anglais},
  booktitle = {Selected Areas in Cryptography - SAC 2012},
  audience = {internationale },
  pages = {252-274},
  year = {2012},
  location = {Windsor,  Canada},
  volume = {7707},
  editor = {Knudsen, LarsR. and Wu, Huapeng},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer Berlin Heidelberg},
  address = {Ontario},
  doi = {10.1007/978-3-642-35999-6_17},
  isbn = {978-3-642-35998-9},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{albrecht-leander:sac2012,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Martin Albrecht and Gregor Leander},
  title = {An {A}ll-in-one Approach to {D}ifferential {C}ryptanalysis  for Small Block Ciphers},
  booktitle = {Conference on Selected Areas of Cryptography},
  pages = {1--12},
  year = {2012},
  location = {Windsor,  Canada},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer Berlin / Heidelberg},
  address = {Ontario},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{SCC12_AG,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Albrecht, Martin and Cid, Carlos and  Faugère, Jean-Charles and  Fitzpatrick, Robert and Perret, Ludovic},
  title = {On the Complexity of the Arora-Ge algorithm against LWE},
  booktitle = {SCC '12: Proceedings of the 3nd International Conference on Symbolic Computation and Cryptography},
  pages = {93--99},
  year = {2012},
  address = {Castro-Urdiales},
  location = {Castro-Urdiales (Spain)},
  month = {July},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{SCC12_BKW,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Albrecht, Martin and Cid, Carlos and  Faugère, Jean-Charles and  Fitzpatrick, Robert and Perret, Ludovic},
  title = {On the Complexity of BKW Algorithm against LWE},
  booktitle = {SCC'12: Proceedings of the 3nd International Conference on Symbolic Computation and Cryptography},
  pages = {100--107},
  year = {2012},
  address = {Castro-Urdiales},
  location = {Castro-Urdiales (Spain)},
  month = {July},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{SCC12_FGLM,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Gaudry, Pierrick and Huot, Louise and  Renault, Guénaël},
  title = {Using symmetries and fast change of ordering in the Index Calculus for Elliptic Curves Discrete Logarithm},
  booktitle = {SCC'12: Proceedings of the 3nd International Conference on Symbolic Computation and Cryptography},
  pages = {113--118},
  year = {2012},
  address = {Castro-Urdiales},
  location = {Castro-Urdiales (Spain)},
  month = {July},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{chen:hal-00779263,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Chen, Xiaoyu and Li, Wei and Luo, Jie and Wang, Dongming},
  title = {{Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence (project description)}},
  booktitle = {{Intelligent Computer Mathematics}},
  year = {2012},
  series = {Lecture Notes in Computer Science},
  doi = {10.1007/978-3-642-31374-5\_31},
  publisher = {Springer},
  volume = {7362},
  pages = {432-437},
  address = {Bremen, Allemagne},
  x-international-audience = {yes},
  x-proceedings = {yes},
  url = {http://hal.inria.fr/hal-00779263},
  hal_id = {hal-00779263}
}
@article{tsigaridas:hal-00776230,
  teams = {POLSYS},
  labs = {LIP6},
  hal_id = {hal-00776230},
  url = {http://hal.inria.fr/hal-00776230},
  title = {{Improved bounds for the CF algorithm}},
  author = {Tsigaridas, Elias},
  language = {English},
  affiliation = {POLSYS - INRIA Paris-Rocquencourt},
  publisher = {Elsevier},
  pages = {1-12},
  journal = {Theoretical Computer Science},
  audience = {international },
  year = 2012,
  month = {Oct},
  pdf = {http://hal.inria.fr/hal-00776230/PDF/et-improve-bd-cf.pdf},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@incollection{emiris:hal-00776270,
  teams = {POLSYS},
  labs = {LIP6},
  hal_id = {hal-00776270},
  url = {http://hal.inria.fr/hal-00776270},
  title = {{Algebraic Algorithms}},
  author = {Emiris, Ioannis Z. and Pan, Victor Y. and
                  Tsigaridas, Elias},
  language = {English},
  affiliation = {Department of Informatics and Telecomunications - DI
                  , Department of Mathematics and Computer Science
                  [Lehman] , POLSYS - INRIA Paris-Rocquencourt},
  booktitle = {{Computing Handbook Set - Computer Science}},
  publisher = {CRC Press},
  volume = {I},
  editor = {Teofilo Gonzalez },
  audience = {international },
  year = 2012,
  pdf = {http://hal.inria.fr/hal-00776270/PDF/16et-9Jul.pdf},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{jeronimo:hal-00776280,
  teams = {POLSYS},
  labs = {LIP6},
  hal_id = {hal-00776280},
  url = {http://hal.inria.fr/hal-00776280},
  title = {{On the minimum of a polynomial function on a basic
                  closed semialgebraic set and applications}},
  author = {Jeronimo, Gabriella and Perrucci, Daniel and
                  Tsigaridas, Elias},
  language = {English},
  affiliation = {Departamento de Matemàtica - DM-UBA , POLSYS -
                  INRIA Paris-Rocquencourt},
  publisher = {SIAM},
  volume = {23},
  number = {1},
  pages = {241--255},
  journal = {SIAM Journal on Optimization},
  audience = {international },
  year = 2013,
  pdf = {http://hal.inria.fr/hal-00776280/PDF/md.pdf},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{mou:hal-00765840,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Mou, Chenqi and Wang, Dongming and Li, Xiaoliang},
  title = {{Decomposing polynomial sets into simple sets over finite fields: The positive-dimensional case}},
  journal = {{Theoretical Computer Science}},
  pages = {XX},
  year = {2012},
  month = nov,
  doi = {10.1016/j.tcs.2012.11.009},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  url = {http://hal.inria.fr/hal-00765840},
  hal_id = {hal-00765840}
}
@article{faugere:hal-00654094,
  hal_id = {hal-00654094},
  url = {http://hal.inria.fr/hal-00654094},
  pdf = {http://www-polsys.lip6.fr/~jcf/Papers/GenMinrankJSC2013.pdf},
  title = {{On the Complexity of the Generalized MinRank Problem}},
  author = {Faugère, Jean-Charles and Safey El Din, Mohab and Spaenlehauer, Pierre-Jean},
  volume = {55},
  number = {0},
  issn = {0747-7171},
  pages = {30--58},
  language = {Anglais},
  affiliation = {SALSA - INRIA Rocquencourt , Laboratoire d'Informatique de Paris 6 - LIP6 , Department of Computer Science},
  publisher = {Elsevier},
  journal = {Journal of Symbolic Computation},
  audience = {internationale },
  doi = {10.1016/j.jsc.2013.03.004 },
  year = {2013},
  month = {March},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{faugere:hal-00819337,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Svartz, Jules},
  title = {{Gröbner Bases of ideals invariant under a Commutative group : the Non-modular Case}},
  booktitle = {Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation},
  series = {ISSAC '13},
  year = {2013},
  numpages = {8},
  isbn = {978-1-4503-2059-7},
  doi = {10.1145/2465506.2465944},
  acmid = {2465944},
  location = {Boston, Maine, USA},
  pages = {347--354},
  publisher = {ACM},
  address = {New York, NY, USA},
  hal_id = {hal-00819337},
  url = {http://hal.inria.fr/hal-00819337},
  pdf = {http://hal.inria.fr/hal-00819337/PDF/FS13.pdf},
  language = {Anglais},
  audience = {internationale },
  lip6-rank = {A},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@inproceedings{faugere:hal-00780388,
  hal_id = {hal-00780388},
  teams = {POLSYS},
  labs = {LIP6},
  author = {Faugère, Jean-Charles and Safey El Din, Mohab and Verron, Thibaut},
  title = {{On the complexity of Computing Gröbner Bases for Quasi-homogeneous Systems}},
  booktitle = {Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation},
  series = {ISSAC '13},
  year = {2013},
  pages = {189--196},
  numpages = {8},
  isbn = {978-1-4503-2059-7},
  location = {Boston, Maine, USA},
  publisher = {ACM},
  doi = {10.1145/2465506.2465943},
  acmid = {2465943},
  address = {New York, NY, USA},
  url = {http://hal.inria.fr/hal-00780388},
  pdf = {http://hal.inria.fr/hal-00780388/PDF/main\_eng.pdf},
  language = {Anglais},
  lip6-rank = {A},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{faugere:hal-00700555,
  hal_id = {hal-00700555},
  url = {http://hal.archives-ouvertes.fr/hal-00700555},
  pdf = {http://hal.archives-ouvertes.fr/hal-00700555/PDF/FGHR13.pdf},
  title = {{Using Symmetries in the Index Calculus for Elliptic Curves Discrete Logarithm}},
  author = {Faugère, Jean-Charles and Gaudry, Pierrick and Huot, Louise and  Renault, Guénaël},
  volume = {},
  number = {},
  doi = {10.1007/s00145-013-9158-5},
  pages = {1--40},
  language = {Anglais},
  journal = {Journal of Cryptology},
  audience = {internationale},
  year = {2013},
  month = {May},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{faugere:hal-00776068,
  hal_id = {hal-00776068},
  url = {http://hal.inria.fr/hal-00776068},
  pdf = {http://hal.inria.fr/hal-00776068/PDF/MAYA2-UPMCINRIA-adist-2.0.pdf},
  title = {{A Distinguisher for High Rate McEliece Cryptosystems}},
  author = {Faugère, Jean-Charles and Gauthier-Umaña, Valérie Otmani, Ayoub and Perret, Ludovic and Tillich, Jean-Pierre},
  volume = {},
  number = {},
  doi = {10.1109/TIT.2013.2272036},
  pages = {1--22},
  language = {Anglais},
  journal = {IEEE Transactions on Information Theory},
  audience = {internationale},
  year = {2013},
  month = {June},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@phdthesis{Rou07,
  teams = {SPIRAL},
  labs = {LIP6},
  author = {Rouillier, Fabrice},
  title = {{Algorithmes pour l'étude des solutions réelles des systèmes polynomiaux}},
  school = {Université Pierre et Marie Curie - Paris VI},
  year = {2007},
  type = {Habilitation à Diriger des Recherches}
}
@phdthesis{Fau07,
  teams = {SPIRAL},
  labs = {LIP6},
  author = {Faugère, Jean-Charles},
  title = {{Calcul efficace des bases de Gröbner et Applications}},
  school = {{Université Pierre et Marie Curie - Paris VI}},
  year = {2007},
  type = {Habilitation à Diriger des Recherches}
}
@phdthesis{La2008,
  teams = {SALSA},
  labs = {LIP6},
  author = {Lachartre, Sylvain},
  title = {Algèbre linéaire dans la résolution de systèmes polynomiaux Applications en cryptologie},
  school = {Université Paris 6},
  year = {2008}
}
@phdthesis{Mor2008,
  teams = {SALSA},
  labs = {LIP6},
  author = {Moroz, Guillaume},
  title = {Sur la décomposition réelle et algébrique des systèmes dépendant de paramètres},
  school = {Université Paris 6},
  year = {2008}
}
@phdthesis{Ra2009,
  teams = {SALSA},
  labs = {LIP6},
  author = {Rahmany, Sajjad},
  title = {Utilisation des bases de Gröbner SAGBI pour la résolution des systèmes polynômiaux invariants par symétries},
  school = {Université Paris 6},
  year = {2009}
}
@phdthesis{Sa10hdr,
  teams = {SALSA},
  labs = {LIP6},
  author = {Safey El Din, Mohab},
  title = {{Polynomial System Solving over the Reals: Algorithms, Complexity, Implementations and Applications}},
  school = {University Pierre and Marie Curie},
  year = {2010},
  note = {Habilitation Thesis}
}
@phdthesis{liang11,
  teams = {SALSA},
  labs = {LIP6},
  author = {Liang, Ye},
  title = {{Approximate Gröbner Bases}},
  school = {Université Paris 6 and Beihang University},
  year = {2011}
}
@phdthesis{Niu2011,
  teams = {SALSA},
  labs = {LIP6},
  author = {Niu, Wei},
  title = {Analyse Qualitative des Systèmes Biologiques par des Méthodes Algébriques},
  school = {Université Paris 6},
  year = {2011}
}
@phdthesis{Bettale2011,
  teams = {SALSA},
  labs = {LIP6},
  author = {Bettale, Luk},
  title = {Cryptanalyse algébrique : outils et applications},
  school = {Université Paris 6},
  year = {2011}
}
@phdthesis{Goyet2012,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Goyet, Christopher},
  title = {Cryptanalyse algébrique par canaux auxiliaires},
  school = {Université Paris 6},
  year = {2012}
}
@phdthesis{PJS2012,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Spaenlehauer, Pierre-Jean},
  title = {Résolution de systèmes multi-homogènes et déterminantiels: algorithmes, complexités et applications},
  school = {Université Paris 6},
  year = {2012}
}
@phdthesis{Svartz2014,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Svartz, Jules},
  title = {R\'esolution de Syst\`emes Polynomiaux Structur\'es de Dimension Zéro},
  school = {Université Paris 6},
  year = {2014}
}
@article{berthomieu:hal-00642075,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Berthomieu, Jérémy and Lecerf, Grégoire and Quintin, Guillaume},
  title = {Polynomial root finding over local rings and application to error correcting codes},
  journal = {Applicable Algebra in Engineering, Communication and Computing},
  publisher = {Springer},
  volume = {24},
  number = {6},
  pages = {413-443},
  year = {2013},
  month = dec,
  doi = {10.1007/s00200-013-0200-5},
  pdf = {http://hal.inria.fr/hal-00642075/PDF/main36.pdf},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  url = {http://hal.inria.fr/hal-00642075},
  x-id-hal = {hal-00642075}
}
@article{bardet:hal-00655745,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Bardet, Magali and Faugère, Jean-Charles and Salvy, Bruno and Spaenlehauer, Pierre-Jean},
  title = {On the Complexity of Solving Quadratic Boolean Systems},
  journal = {Journal of Complexity},
  publisher = {Elsevier},
  volume = {29},
  number = {1},
  pages = {53-75},
  year = {2013},
  month = feb,
  issn = {0885-064X},
  doi = {10.1016/j.jco.2012.07.001},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  url = {http://hal.inria.fr/hal-00655745},
  x-id-hal = {hal-00655745}
}
@article{bettale:hal-00776072,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Bettale, Luk and Faugère, Jean-Charles and Perret, Ludovic},
  title = {Cryptanalysis of HFE, Multi-HFE and Variants for Odd and Even Characteristic},
  journal = {Designs, Codes and Cryptography},
  publisher = {Springer},
  volume = {69},
  number = {1},
  pages = {1 - 52},
  issn = {0925-1022},
  year = {2013},
  doi = {10.1007/s10623-012-9617-2},
  pdf = {http://hal.inria.fr/hal-00776072/PDF/MAYA2-UPMCINRIA-v1-key\_recovery\_on\_HFE\_2.0.pdf},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  url = {http://hal.inria.fr/hal-00776072},
  x-id-hal = {hal-00776072}
}
@article{jin:hal-00793120,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Jin, Meng and Li, Xiaoliang and Wang, Dongming},
  title = {A new algorithmic scheme for computing characteristic sets},
  journal = {Journal of Symbolic Computation},
  publisher = {Academic Press},
  volume = {50},
  pages = {431-449},
  year = {2013},
  doi = {10.1016/j.jsc.2012.04.004},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  url = {http://hal.inria.fr/hal-00793120},
  x-id-hal = {hal-00793120}
}
@article{ghosh:hal-00815120,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Ghosh, Aurobrata and Tsigaridas, Elias and Mourrain, Bernard and Deriche, Rachid},
  title = {A polynomial approach for extracting the extrema of a spherical function and its application in diffusion MRI},
  journal = {Medical Image Analysis},
  volume = {17},
  number = {5},
  pages = {503-514},
  year = {2013},
  month = jul,
  doi = {10.1016/j.media.2013.03.004},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  url = {http://hal.inria.fr/hal-00815120},
  x-id-hal = {hal-00815120}
}
@article{emiris:hal-00843033,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Emiris, Ioannis and Tsigaridas, Elias and Tzoumas, George},
  title = {Exact Voronoi diagram of smooth convex pseudo-circles: General predicates, and implementation for ellipses},
  journal = {Computer Aided Geometric Design},
  publisher = {Elsevier},
  year = {2013},
  doi = {10.1016/j.cagd.2013.06.005},
  pdf = {http://hal.inria.fr/hal-00843033/PDF/ett-vor-pcircles.pdf},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  url = {http://hal.inria.fr/hal-00843033},
  x-id-hal = {hal-00843033}
}
@article{hansen:hal-00843052,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Hansen, Kristoffer Arnsfelt and Ibsen-Jensen, Rasmus and Podolskii, Vladimir V. and Tsigaridas, Elias},
  title = {Patience of Matrix Games},
  journal = {Discrete Applied Mathematics},
  publisher = {Elsevier},
  year = {2013},
  doi = {10.1016/j.dam.2013.05.008},
  pdf = {http://hal.inria.fr/hal-00843052/PDF/MatrixGamePatience\_revision.pdf},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  url = {http://hal.inria.fr/hal-00843052},
  x-id-hal = {hal-00843052}
}
@article{yang:hal-00913378,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Yang, Jing and Wang, Dongming and Hong, Hoon},
  title = {Improving Angular Speed Uniformity by Reparameterization},
  journal = {Computer Aided Geometric Design},
  publisher = {Elsevier},
  volume = {30},
  number = {7},
  pages = {636-652},
  year = {2013},
  doi = {10.1016/j.cagd.2013.04.001},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  url = {http://hal.inria.fr/hal-00913378},
  x-id-hal = {hal-00913378}
}
@article{hong:hal-00913394,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Hong, Hoon and Wang, Dongming and Yang, Jing},
  title = {A Framework for Improving Uniformity of Parameterizations of Curves},
  journal = {Science China Information Sciences},
  publisher = {Springer},
  volume = {56},
  number = {10},
  pages = {108101:1-108101:22},
  year = {2013},
  doi = {10.1007/s11432-013-4924-4},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  url = {http://hal.inria.fr/hal-00913394},
  x-id-hal = {hal-00913394}
}
@article{chen:hal-00913400,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Chen, Xiaoyu and Wang, Dongming},
  title = {Formalization and Specification of Geometric Knowledge Objects},
  journal = {Mathematics in Computer Science},
  publisher = {Springer},
  volume = {7},
  number = {4},
  year = {2013},
  doi = {10.1007/s11786-013-0167-4},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  url = {http://hal.inria.fr/hal-00913400},
  x-id-hal = {hal-00913400}
}
@article{albrecht:hal-00921517,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Albrecht, Martin and Cid, Carlos and Faugère, Jean-Charles and Fitzpatrick, Robert and Perret, Ludovic},
  title = {On the Complexity of the BKW Algorithm on LWE},
  journal = {Designs, Codes and Cryptography},
  publisher = {Springer},
  year = {2013},
  month = jul,
  doi = {10.1007\%2Fs10623-013-9864-x},
  pdf = {http://hal.inria.fr/hal-00921517/PDF/636.pdf},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  url = {http://hal.inria.fr/hal-00921517},
  pdf = {http://www-polsys.lip6.fr/~jcf/Papers/DCC2013.pdf},
  x-id-hal = {hal-00921517}
}
@article{eder:hal-00930286,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Eder, Christian},
  title = {An analysis of inhomogeneous signature-based Grobner basis computations},
  journal = {Journal of Symbolic Computation},
  publisher = {Elsevier},
  volume = {59},
  pages = {21--35},
  year = {2013},
  doi = {10.1016/j.jsc.2013.08.001},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  url = {http://hal.inria.fr/hal-00930286},
  x-id-hal = {hal-00930286}
}
@article{eder:hal-00930293,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Eder, Christian},
  title = {Improving incremental signature-based Gröbner basis algorithms},
  journal = {ACM Communications in Computer Algebra},
  publisher = {SIGSAM},
  volume = {47},
  number = {1},
  pages = {1-13},
  year = {2013},
  doi = {10.1145/2503697.2503699},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  url = {http://hal.inria.fr/hal-00930293},
  x-id-hal = {hal-00930293}
}
@inproceedings{barbu:hal-00777788,
  teams = {POLSYS},
  labs = {LIP6},
  lip6-rank = {A},
  author = {Barbu, Guillaume and Battistelllo, Alberto and Dabosville, Guillaume and Giraud, Christophe and Renault, Guénaël and Renner, Soline and Zeitoun, Rina},
  title = {Combined Attack on CRT-RSA. Why Public Verification Must Not Be Public?},
  booktitle = {PKC 2013 - Public-Key Cryptography},
  year = {2013},
  series = {Lecture Notes in Computer Science},
  editor = {Kurosawa, Kaoru and Hanaoka, Goichiro},
  doi = {10.1007/978-3-642-36362-7\_13},
  publisher = {Springer},
  volume = {7778},
  pages = {1-17},
  pdf = {http://hal.inria.fr/hal-00777788/PDF/CA-CRT-RSA.pdf},
  address = {Nara, Japan},
  x-international-audience = {yes},
  x-proceedings = {yes},
  url = {http://hal.inria.fr/hal-00777788},
  x-id-hal = {hal-00777788}
}
@inproceedings{guo:hal-00815174,
  teams = {POLSYS},
  labs = {LIP6},
  lip6-rank = {A},
  author = {Guo, Qingdong and Safey El Din, Mohab and Zhi, Lihong},
  title = {Computing rational solutions of linear matrix inequalities},
  booktitle = {ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation},
  year = {2013},
  pdf = {http://hal.inria.fr/hal-00815174/PDF/rational-lmi-6.pdf},
  address = {Boston, United States},
  x-international-audience = {yes},
  x-proceedings = {yes},
  url = {http://hal.inria.fr/hal-00815174},
  x-id-hal = {hal-00815174}
}
@inproceedings{pan:hal-00816214,
  teams = {POLSYS},
  labs = {LIP6},
  lip6-rank = {A},
  author = {Pan, Y., Victor and Tsigaridas, Elias},
  title = {On the Boolean complexity of real root refinement},
  booktitle = {ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation},
  year = {2013},
  month = apr,
  editor = {Kauers, Manuel},
  doi = {10.1145/2465506.2465938},
  publisher = {ACM},
  pdf = {http://hal.inria.fr/hal-00816214/PDF/pt-refine.pdf},
  address = {Boston, United States},
  x-international-audience = {yes},
  x-proceedings = {yes},
  url = {http://hal.inria.fr/hal-00816214},
  x-id-hal = {hal-00816214}
}
@inproceedings{yang:hal-00913415,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Yang, Jing and Wang, Dongming and Hong, Hoon},
  title = {Improving Angular Speed Uniformity by C¹ Piecewise Reparameterization},
  booktitle = {ADG 2012 - 9th International Workshop Automated Deduction in Geometry},
  year = {2013},
  series = {Lecture Notes in Computer Science},
  editor = {Tetsuo Ida and Jacques Fleuriot},
  doi = {10.1007/978-3-642-40672-0\_3},
  publisher = {Springer},
  volume = {7993},
  pages = {33-47},
  address = {Edinburgh, United Kingdom},
  x-international-audience = {yes},
  x-proceedings = {yes},
  url = {http://hal.inria.fr/hal-00913415},
  x-id-hal = {hal-00913415}
}
@inproceedings{albrecht:hal-00925187,
  teams = {POLSYS},
  labs = {LIP6},
  lip6-rank = {A},
  isbn = {978-3-642-54630-3},
  booktitle = {Public-Key Cryptography  PKC 2014},
  volume = {8383},
  series = {Lecture Notes in Computer Science},
  editor = {Krawczyk, Hugo},
  doi = {10.1007/978-3-642-54631-0_25},
  author = {Albrecht, Martin and Faugère, Jean-Charles and Fitzpatrick, Robert and Perret, Ludovic},
  title = {Lazy Modulus Switching for the BKW Algorithm on LWE},
  year = {2014},
  month = mar,
  publisher = {Springer Berlin Heidelberg},
  pages = {429-445},
  pdf = {http://hal.inria.fr/hal-00925187/PDF/bkw-small-secret.pdf},
  address = {Buenos Aires, Argentina},
  x-international-audience = {yes},
  x-proceedings = {yes},
  url = {http://hal.inria.fr/hal-00925187},
  x-id-hal = {hal-00925187}
}
@inproceedings{bi:hal-00926902,
  teams = {POLSYS},
  labs = {LIP6},
  lip6-rank = {A},
  isbn = {978-3-642-54630-3},
  booktitle = {Public-Key Cryptography  PKC 2014},
  volume = {8383},
  series = {Lecture Notes in Computer Science},
  editor = {Krawczyk, Hugo},
  doi = {10.1007/978-3-642-54631-0_11},
  author = {Bi, Jingguo and Coron, Jean-Sébastien and Faugère, Jean-Charles and Nguyen, Phong Q. and Renault, Guénaël and Zeitoun, Rina},
  title = {Rounding and Chaining LLL: Finding Faster Small Roots of Univariate Polynomial Congruences},
  year = {2014},
  publisher = {Springer Berlin Heidelberg},
  pages = {185-202},
  pdf = {http://hal.inria.fr/hal-00926902/PDF/PKC14\_Copp.pdf},
  address = {Buenos Aires, Argentina},
  x-international-audience = {yes},
  x-proceedings = {yes},
  url = {http://hal.inria.fr/hal-00926902},
  x-id-hal = {hal-00926902}
}
@inproceedings{eder:hal-00930273,
  teams = {POLSYS},
  labs = {LIP6},
  lip6-rank = {A},
  author = {Eder, Christian and Roune, Bjarke Hammersholt},
  title = {Signature Rewriting in Grobner Basis Computation},
  booktitle = {ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation},
  year = {2013},
  editor = {Kauers, Manuel},
  doi = {10.1145/2465506.2465522},
  publisher = {ACM},
  pages = {331-338},
  pdf = {http://hal.inria.fr/hal-00930273/PDF/sbff.pdf},
  address = {Boston, United States},
  x-international-audience = {yes},
  x-proceedings = {yes},
  url = {http://hal.inria.fr/hal-00930273},
  x-id-hal = {hal-00930273}
}
@inproceedings{albrecht:hal-00932382,
  teams = {POLSYS},
  labs = {LIP6},
  lip6-rank = {A},
  isbn = {978-3-642-54630-3},
  author = {Albrecht, Martin and Faugère, Jean-Charles and Fitzpatrick, Robert and Perret, Ludovic and Todo, Yosuke and Xagawa, Keita},
  title = {Practical Cryptanalysis of a Public-Key Encryption Scheme Based on New Multivariate Quadratic Assumptions},
  booktitle = {Public-Key Cryptography  PKC 2014},
  volume = {8383},
  series = {Lecture Notes in Computer Science},
  editor = {Krawczyk, Hugo},
  doi = {10.1007/978-3-642-54631-0_26},
  year = {2014},
  month = mar,
  publisher = {Springer Berlin Heidelberg},
  pages = {446-464},
  pdf = {http://hal.inria.fr/hal-00932382/PDF/mqpkc-lattice.pdf},
  address = {Buenos Aires, Argentina},
  x-international-audience = {yes},
  x-proceedings = {yes},
  url = {http://hal.inria.fr/hal-00932382},
  x-id-hal = {hal-00932382}
}
@inproceedings{faugere:hal-00935050,
  teams = {POLSYS},
  labs = {LIP6},
  lip6-rank = {A},
  author = {Faugère, Jean-Charles and Huot, Louise and Joux, Antoine and Renault, Guénaël and Vitse, Vanessa},
  title = {Symmetrized Summation Polynomials: Using Small Order Torsion Points to Speed Up Elliptic Curve Index Calculus},
  publisher = {Springer Berlin Heidelberg},
  booktitle = {Advances in Cryptology  EUROCRYPT 2014},
  year = {2014},
  volume = {8441},
  isbn = {978-3-642-55219-9},
  series = {Lecture Notes in Computer Science},
  doi = {10.1007/978-3-642-55220-5_3},
  pages = {40-57},
  address = {Copenhagen, Denmark},
  x-international-audience = {yes},
  x-proceedings = {yes},
  url = {http://hal.inria.fr/hal-00935050},
  x-id-hal = {hal-00935050}
}
@article{bardet:hal-01064519,
  teams = {POLSYS},
  labs = {LIP6},
  title = {{On the complexity of the F5 Gr{\"o}bner basis algorithm}},
  author = {Bardet, Magali and Faug{\`e}re, Jean-Charles and Salvy, Bruno},
  journal = {{Journal of Symbolic Computation}},
  publisher = {{Elsevier}},
  pages = {1-24},
  year = {2014},
  month = sep,
  doi = {10.1016/j.jsc.2014.09.025},
  url = {https://hal.inria.fr/hal-01064519},
  pdf = {https://hal.inria.fr/hal-01064519/document},
  hal_id = {hal-01064519},
  hal_version = {v1},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-scientific-popularization = {no}
}
@inproceedings{faugere:hal-00953501,
  teams = {POLSYS},
  labs = {LIP6},
  lip6-rank = {A},
  hal_id = {hal-00953501},
  url = {http://hal.archives-ouvertes.fr/hal-00953501},
  title = {{Sparse Gröbner Bases: the Unmixed Case}},
  author = {Faugère, Jean-Charles and Spaenlehauer, Pierre-Jean and Svartz, Jules},
  language = {Anglais},
  affiliation = {POLSYS - INRIA Paris-Rocquencourt , CARAMEL - INRIA Nancy - Grand Est / LORIA},
  booktitle = {{Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (ISSAC 2014)}},
  pages = {178--185},
  isbn = {978-1-4503-2501-1},
  address = {Kobe, Japon},
  audience = {internationale },
  doi = {10.1145/2608628.2608663 },
  year = {2014},
  month = may,
  pdf = {http://hal.archives-ouvertes.fr/hal-00953501/PDF/GroebnerCreux.pdf}
}
@inproceedings{faugere:hal-01064687,
  teams = {POLSYS},
  labs = {LIP6},
  lip6-rank = {A},
  hal_id = {hal-01064687},
  url = {http://hal.inria.fr/hal-01064687},
  title = {{Algebraic Attack against Variants of McEliece with Goppa Polynomial of a Special Form}},
  author = {Faugère, Jean-Charles and Perret, Ludovic and De Portzamparc, Frédéric},
  language = {Anglais},
  affiliation = {POLSYS - INRIA Paris-Rocquencourt , Laboratoire d'Informatique de Paris 6 - LIP6 , Gemalto},
  booktitle = {{Advances in Cryptology Asiacrypt 2014}},
  address = {Kaohsiung, Taïwan},
  audience = {internationale },
  year = {2014},
  month = sep,
  pdf = {http://hal.inria.fr/hal-01064687/PDF/algebraic\_wild.pdf}
}
@inproceedings{faugere:hal-01064551,
  teams = {POLSYS},
  labs = {LIP6},
  lip6-rank = {A},
  isbn = {978-1-4503-2501-1},
  hal_id = {hal-01064551},
  url = {http://hal.inria.fr/hal-01064551},
  title = {{Sub-cubic Change of Ordering for Gröbner Basis: A Probabilistic Approach}},
  author = {Faugère, Jean-Charles and Gaudry, Pierrick and Huot, Louise and Renault, Guénaël},
  language = {Anglais},
  affiliation = {POLSYS - INRIA Paris-Rocquencourt , CARAMEL - INRIA Nancy - Grand Est / LORIA , Laboratoire d'Informatique de Paris 6 - LIP6 , Université Pierre et Marie Curie - Paris 6 - UPMC},
  booktitle = {{Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation}},
  publisher = {ACM},
  pages = {170--177},
  address = {Kobe, Japon},
  audience = {internationale },
  doi = {10.1145/2608628.2608669 },
  year = {2014},
  month = jul,
  pdf = {http://hal.inria.fr/hal-01064551/PDF/p170-faugere.pdf}
}
@book{faugere:hal-01068389,
  hal_id = {hal-01068389},
  url = {http://hal.inria.fr/hal-01068389},
  title = {{Mathematical and computer algebra techniques in cryptology}},
  author = {Faugere, Jean-Charles and Gutierrez, Jaime and G{\'o}mez-P{\'e}rez, Domingo and Perret, Ludovic},
  language = {Anglais},
  affiliation = {POLSYS - INRIA Paris-Rocquencourt , Dept. Matem{\'a}tica Aplicada y Ciencias de la Computaci{\'o}n , Laboratoire d'Informatique de Paris 6 - LIP6},
  publisher = {Elsevier},
  pages = {1-88},
  volume = {64},
  editor = {Jean-Charles Faug{\`e}re and Domingo G{\'o}mez-P{\'e}rez and Jaime Gutierrez and Ludovic Perret },
  audience = {internationale },
  doi = {10.1016/j.jsc.2013.12.001 },
  year = {2013},
  month = nov,
  pdf = {http://hal.inria.fr/hal-01068389/PDF/SpecialJSC.pdf}
}
@inproceedings{wang:hal-00913433,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Wang, Dongming},
  title = {Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge Management},
  booktitle = {ADG 2012 - 9th International Workshop Automated Deduction in Geometry},
  year = {2013},
  series = {Lecture Notes in Computer Science},
  editor = {Tetsuo Ida and Jacques Fleuriot},
  doi = {10.1007/978-3-642-40672-0\_2},
  publisher = {Springer},
  volume = {7993},
  pages = {31-32},
  address = {Edinburgh, United Kingdom},
  x-international-audience = {yes},
  x-proceedings = {yes},
  x-invited-conference = {yes},
  url = {http://hal.inria.fr/hal-00913433},
  x-id-hal = {hal-00913433}
}
@inproceedings{safeyeldin:hal-00922718,
  teams = {POLSYS},
  labs = {LIP6},
  lip6-rank = {A},
  author = {Safey El Din, Mohab},
  title = {Critical Point Methods and Effective Real Algebraic Geometry: New Results and Trends},
  booktitle = {ISSAC 2013 - 38th International Symposium on Symbolic and Algebraic Computation},
  year = {2013},
  editor = {Manuel Kauers},
  doi = {10.1145/2465506.2465928},
  pages = {5-6},
  pdf = {http://hal.inria.fr/hal-00922718/PDF/abstract-safeyeldin.pdf},
  address = {Boston, United States},
  x-international-audience = {yes},
  x-proceedings = {yes},
  x-invited-conference = {yes},
  url = {http://hal.inria.fr/hal-00922718},
  x-id-hal = {hal-00922718}
}
@misc{chen:hal-00913449,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Chen, Xiaoyu and Wang, Dongming and Zhang, Xiangliang},
  title = {Mathematics, Data and Knowledge},
  year = {2013},
  note = {Special focus of Mathematics in Computer Science, Birkhäuser/Springer, Basel},
  url = {http://hal.inria.fr/hal-00913449},
  x-id-hal = {hal-00913449}
}
@inproceedings{condepena:hal-01098223,
  teams = {POLSYS},
  labs = {LIP6},
  lip6-rank = {A},
  title = {{Algebraic Cryptanalysis of a Quantum Money Scheme The Noise-Free Case}},
  author = {Conde Pena, Marta and Faug{\`e}re, Jean-Charles and Perret, Ludovic},
  booktitle = {{IACR International Conference on Practice and Theory of Public-Key Cryptography (PKC'15)}},
  address = {Maryland, United States},
  year = {2015},
  month = mar,
  url = {https://hal.inria.fr/hal-01098223},
  pdf = {https://hal.inria.fr/hal-01098223/document},
  hal_id = {hal-01098223},
  hal_version = {v1},
  x-proceedings = {yes},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-invited-conference = {no},
  x-scientific-popularization = {no}
}
@phdthesis{greuet:tel-00922805,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Greuet, Aurélien},
  title = {Optimisation polynomiale et variétés polaires : théorie, algorithmes, et implantations},
  year = {2013},
  month = dec,
  school = {Université de Versailles-Saint Quentin en Yvelines},
  pdf = {http://hal.inria.fr/tel-00922805/PDF/these.pdf},
  url = {http://hal.inria.fr/tel-00922805},
  x-id-hal = {tel-00922805}
}
@phdthesis{huot:tel-00925271,
  teams = {POLSYS},
  labs = {LIP6},
  author = {Huot, Louise},
  title = {Résolution de systèmes polynomiaux et cryptologie sur les courbes elliptiques},
  year = {2013},
  month = dec,
  school = {Université Pierre et Marie Curie - Paris VI},
  pdf = {http://hal.inria.fr/tel-00925271/PDF/these.pdf},
  url = {http://hal.inria.fr/tel-00925271},
  x-id-hal = {tel-00925271}
}
@phdthesis{mou:tel-01110887,
  title = {{Solving Polynomial Systems over Finite Fields: Algorithms, Implementation and Applications}},
  author = {Mou, Chenqi},
  school = {{Universit{\'e} Pierre et Marie Curie}},
  year = {2013},
  month = may,
  type = {Theses},
  url = {https://tel.archives-ouvertes.fr/tel-01110887},
  pdf = {https://tel.archives-ouvertes.fr/tel-01110887/document},
  hal_id = {tel-01110887},
  hal_version = {v1}
}
@inproceedings{faugere:hal-01074194,
  teams = {POLSYS},
  labs = {LIP6},
  lip6-rank = {A},
  title = {{A Polynomial-Time Key-Recovery Attack on MQQ Cryptosystems}},
  author = {Faug{\`e}re, Jean-Charles and Gligoroski, Danilo and Perret, Ludovic and Simona, Samardjiska and Thomae, Enrico},
  booktitle = {{IACR International Conference on Practice and Theory of Public-Key Cryptography (PKC'15)}},
  address = {Maryland, United States},
  year = {2015},
  month = mar,
  url = {https://hal.inria.fr/hal-01074194},
  pdf = {https://hal.inria.fr/hal-01074194/document},
  hal_id = {hal-01074194},
  hal_version = {v1},
  x-proceedings = {yes},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-invited-conference = {no},
  x-scientific-popularization = {no}
}
@article{faugere:hal-00964265,
  teams = {POLSYS},
  labs = {LIP6},
  title = {{Structural Cryptanalysis of McEliece Schemes with Compact Keys}},
  author = {Faug{\`e}re, Jean-Charles and Otmani, Ayoub and Perret, Ludovic and De Portzamparc, Fr{\'e}d{\'e}ric and Tillich, Jean-Pierre},
  journal = {{Designs, Codes and Cryptography}},
  publisher = {{Springer Verlag (Germany)}},
  pages = {26},
  year = {2015},
  month = jan,
  url = {https://hal.inria.fr/hal-00964265},
  pdf = {https://hal.inria.fr/hal-00964265/document},
  hal_id = {hal-00964265},
  hal_version = {v1},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-scientific-popularization = {no}
}
@inproceedings{faugere:hal-01096180,
  teams = {POLSYS},
  labs = {LIP6},
  title = {{Structural weakness of compact variants of the McEliece cryptosystem}},
  author = {Faug{\`e}re, Jean-Charles and Perret, Ludovic and De Portzamparc, Fr{\'e}d{\'e}ric and Otmani, Ayoub and Tillich, Jean-Pierre},
  booktitle = {{IEEE International Symposium on Information Theory - ISIT 2014}},
  address = {Honolulu, United States},
  pages = {1717-1721},
  year = {2014},
  month = jun,
  url = {https://hal.archives-ouvertes.fr/hal-01096180},
  hal_id = {hal-01096180},
  hal_version = {v1},
  x-proceedings = {yes},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-invited-conference = {no},
  x-scientific-popularization = {no}
}
@inproceedings{pan:hal-00980584,
  teams = {POLSYS},
  labs = {LIP6},
  title = {{Accelerated Approximation of the Complex Roots of a Univariate Polynomial (Extended Abstract)}},
  author = {Pan, Victor Y. and Tsigaridas, Elias},
  booktitle = {{Proceedings of the 2014 Symposium on Symbolic-Numeric Computation}},
  address = {Shanghai, China},
  publisher = {{ACM}},
  pages = {132-134 },
  year = {2014},
  month = jul,
  doi = {10.1145/2631948.2631973},
  url = {https://hal.inria.fr/hal-00980584},
  pdf = {https://hal.inria.fr/hal-00980584/document},
  hal_id = {hal-00980584},
  hal_version = {v1},
  x-proceedings = {yes},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-invited-conference = {no},
  x-scientific-popularization = {no}
}
@inproceedings{pan:hal-00980591,
  teams = {POLSYS},
  labs = {LIP6},
  title = {{Nearly Optimal Computations with Structured Matrices}},
  author = {Pan, Victor Y. and Tsigaridas, Elias},
  booktitle = {{Proceedings of the 2014 Symposium on Symbolic-Numeric Computation}},
  address = {Shanghai, China},
  pages = {21-30 },
  year = {2014},
  month = jul,
  doi = {10.1145/2631948.2631954},
  url = {https://hal.inria.fr/hal-00980591},
  pdf = {https://hal.inria.fr/hal-00980591/document},
  hal_id = {hal-00980591},
  hal_version = {v1},
  x-proceedings = {yes},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-invited-conference = {no},
  x-scientific-popularization = {no}
}
@article{basu:hal-01096209,
  teams = {POLSYS},
  labs = {LIP6},
  title = {{A Baby Step--Giant Step Roadmap Algorithm for General Algebraic Sets}},
  author = {Basu, Saugata and Roy, Marie-Fran{\c c}oise and Safey El Din, Mohab and Schost, Eric},
  journal = {{Foundations of Computational Mathematics}},
  publisher = {{Springer Verlag (Germany)}},
  volume = {14},
  number = {6},
  pages = {1117 - 1172},
  year = {2014},
  doi = {10.1007/s10208-014-9212-1},
  url = {https://hal.inria.fr/hal-01096209},
  pdf = {https://hal.inria.fr/hal-01096209/document},
  hal_id = {hal-01096209},
  hal_version = {v1},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-scientific-popularization = {no}
}
@inproceedings{bostan:hal-00994116,
  lip6-rank = {A},
  teams = {POLSYS},
  labs = {LIP6},
  title = {{Computing necessary integrability conditions for planar parametrized homogeneous potentials}},
  author = {Bostan, Alin and Combot, Thierry and Safey El Din, Mohab},
  booktitle = {{ISSAC'14 - International Symposium on Symbolic and Algebraic Computation}},
  address = {Kobe, Japan},
  publisher = {{ACM Press}},
  year = {2014},
  month = jul,
  doi = {10.1145/2608628.2608662},
  url = {https://hal.inria.fr/hal-00994116},
  pdf = {https://hal.inria.fr/hal-00994116/document},
  hal_id = {hal-00994116},
  hal_version = {v1},
  x-proceedings = {yes},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-invited-conference = {no},
  x-scientific-popularization = {no}
}
@article{bank:hal-00815123,
  teams = {POLSYS},
  labs = {LIP6},
  title = {{Intrinsic complexity estimates in polynomial optimization}},
  author = {Bank, Bernd and Giusti, Marc and Heintz, Joos and Safey El Din, Mohab},
  journal = {{Journal of Complexity}},
  publisher = {{Elsevier}},
  volume = {30},
  number = {4},
  pages = {430-443},
  year = {2014},
  month = feb,
  doi = {10.1016/j.jco.2014.02.005},
  url = {https://hal.inria.fr/hal-00815123},
  pdf = {https://hal.inria.fr/hal-00815123/document},
  hal_id = {hal-00815123},
  hal_version = {v2},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-scientific-popularization = {no}
}
@inproceedings{yang:hal-01092141,
  teams = {POLSYS},
  labs = {LIP6},
  title = {{ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves}},
  author = {Yang, Jing and Wang, Dongming and Hong, Hoon},
  booktitle = {{10th Asian Symposium on Computer Mathematics}},
  address = {Beijing, China},
  publisher = {{Springer}},
  series = {Computer Mathematics},
  pages = {437-451},
  year = {2014},
  month = oct,
  doi = {10.1007/978-3-662-43799-5\_29},
  url = {https://hal.inria.fr/hal-01092141},
  hal_id = {hal-01092141},
  hal_version = {v1},
  x-proceedings = {yes},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-invited-conference = {no},
  x-scientific-popularization = {no}
}
@article{li:hal-01092169,
  teams = {POLSYS},
  labs = {LIP6},
  title = {{Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification}},
  author = {Li, Xiaoliang and Wang, Dongming},
  journal = {{Journal of Mathematical Economics}},
  publisher = {{Elsevier}},
  volume = {54},
  pages = {48-58},
  year = {2014},
  doi = {10.1016/j.jmateco.2014.08.007},
  url = {https://hal.inria.fr/hal-01092169},
  hal_id = {hal-01092169},
  hal_version = {v1},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-scientific-popularization = {no}
}
@article{li:hal-00793136,
  teams = {POLSYS},
  labs = {LIP6},
  title = {{Simple Decomposition of Polynomial Sets over Finite Fields}},
  author = {Li, Xiaoliang and Wang, Dongming},
  journal = {{Journal of Systems Science and Mathematical Sciences}},
  publisher = {{Kexue Chubanshe}},
  volume = {32},
  number = {1},
  pages = {15-26},
  year = {2012},
  url = {https://hal.inria.fr/hal-00793136},
  hal_id = {hal-00793136},
  hal_version = {v1},
  x-international-audience = {no},
  x-editorial-board = {yes},
  x-scientific-popularization = {no}
}
@article{greuet:hal-00849523,
  teams = {POLSYS},
  labs = {LIP6},
  title = {{Probabilistic Algorithm for Polynomial Optimization over a Real Algebraic Set}},
  author = {Greuet, Aur{\'e}lien and Safey El Din, Mohab},
  journal = {{SIAM Journal on Optimization}},
  publisher = {{Society for Industrial and Applied Mathematics}},
  volume = {24},
  number = {3},
  pages = {1313-1343},
  year = {2014},
  month = aug,
  doi = {10.1137/130931308},
  url = {https://hal.archives-ouvertes.fr/hal-00849523},
  pdf = {https://hal.archives-ouvertes.fr/hal-00849523/document},
  hal_id = {hal-00849523},
  hal_version = {v2},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-scientific-popularization = {no}
}
@inproceedings{faugere:hal-01108602,
  teams = {POLSYS},
  labs = {LIP6},
  title = {{A distinguisher for high rate McEliece cryptosystems}},
  author = {Faug{\`e}re, Jean-Charles and Gauthier-Umana, Val{\'e}rie and Otmani, Ayoub and Perret, Ludovic and Tillich, Jean-Pierre},
  booktitle = {{ITW 2011- IEEE Information Theory Workshop}},
  address = {Paraty, Brazil},
  publisher = {{IEEE}},
  pages = {282-286},
  year = {2011},
  month = oct,
  doi = {10.1109/ITW.2011.6089437},
  url = {https://hal.archives-ouvertes.fr/hal-01108602},
  hal_id = {hal-01108602},
  hal_version = {v1},
  x-proceedings = {yes},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-invited-conference = {no},
  x-scientific-popularization = {no}
}
@inproceedings{strzebonski:hal-00776074,
  lip6-rank = {A},
  teams = {POLSYS},
  labs = {LIP6},
  title = {{Univariate Real Root Isolation in Multiple Extension Fields}},
  author = {Strzebonski, Adam and Tsigaridas, Elias},
  booktitle = {{ISSAC - Proceedings of the 37th ACM International Symposium on Symbolic and Algebraic Computation}},
  address = {Grenoble, France},
  pages = {343-350},
  year = {2012},
  month = jul,
  url = {https://hal.inria.fr/hal-00776074},
  pdf = {https://hal.inria.fr/hal-00776074/document},
  hal_id = {hal-00776074},
  hal_version = {v1},
  x-proceedings = {yes},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-invited-conference = {no},
  x-scientific-popularization = {no}
}
@incollection{emiris:hal-00776252,
  teams = {POLSYS},
  labs = {LIP6},
  title = {{Mixed volume and distance geometry techniques for counting Euclidean embeddings of rigid graphs}},
  author = {Emiris, Ioannis Z. and Tsigaridas, Elias and Varvitsiotis, Antonios},
  booktitle = {{Distance Geometry: With Applications to Molecular Conformation and Sensor Networks}},
  editor = {C. Lavor and L. Liberti and N. Maculan and A. Mucherino},
  publisher = {{Springer-Verlag}},
  pages = {23-45},
  year = {2012},
  doi = {10.1007/978-1-4614-5128-0\_2},
  url = {https://hal.inria.fr/hal-00776252},
  pdf = {https://hal.inria.fr/hal-00776252/document},
  hal_id = {hal-00776252},
  hal_version = {v1},
  x-international-audience = {yes},
  x-scientific-popularization = {no}
}
@inproceedings{albrecht:hal-01113282,
  title = {{The M4RIE library for dense linear algebra over small fields with even characteristic}},
  author = {Albrecht, Martin R.},
  booktitle = {{ISSAC '12: Proceedings of the 2012 international symposium on Symbolic and algebraic computation}},
  address = {Grenoble, France},
  pages = {28 - 34},
  year = {2012},
  month = jul,
  doi = {10.1145/2442829.2442838},
  url = {https://hal.inria.fr/hal-01113282},
  pdf = {https://hal.inria.fr/hal-01113282/document},
  hal_id = {hal-01113282},
  hal_version = {v1},
  x-proceedings = {no},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-invited-conference = {no},
  x-scientific-popularization = {no}
}
@inproceedings{albrecht:hal-01113283,
  title = {{An All-In-One Approach to Differential Cryptanalysis for Small Block Ciphers}},
  author = {Albrecht, Martin R. and Leander, Gregor},
  booktitle = {{Selected Areas in Cryptography 19th International Conference, SAC 2012}},
  address = {Windsor, Canada},
  pages = {1 - 15},
  year = {2013},
  month = aug,
  doi = {10.1007/978-3-642-35999-6\_1},
  url = {https://hal.inria.fr/hal-01113283},
  pdf = {https://hal.inria.fr/hal-01113283/document},
  hal_id = {hal-01113283},
  hal_version = {v1},
  x-proceedings = {no},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-invited-conference = {no},
  x-scientific-popularization = {no}
}
@article{berthomieu:hal-00846041,
  title = {{Polynomial-Time Algorithms for Quadratic Isomorphism of Polynomials: The Regular Case}},
  author = {Berthomieu, J{\'e}r{\'e}my and Faug{\`e}re, Jean-Charles and Perret, Ludovic},
  url = {https://hal.inria.fr/hal-00846041},
  journal = {{Journal of Complexity}},
  publisher = {{Elsevier}},
  number = {1--39},
  pages = {39},
  year = {2015},
  pdf = {https://hal.inria.fr/hal-00846041/file/Final.pdf},
  hal_id = {hal-00846041},
  hal_version = {v5}
}