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