EN FR
EN FR
POLSYS - 2012
POLSYS - 2012




Project-Team Polsys
Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography




Project-Team Polsys
Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography


previous Previous | up Home


Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

  • 1C. Goyet.

    Cryptanalyse algébrique par canaux auxiliaires, Université Paris 6, 2012.
  • 2P.-J. Spaenlehauer.

    Résolution de systèmes multi-homogènes et déterminantiels: algorithmes, complexités et applications, Université Paris 6, 2012.

Articles in International Peer-Reviewed Journals

  • 3M. Albrecht, C. Cid, J.-C. Faugère, L. Perret.

    On the relation between the MXL family of algorithms and Gröbner basis algorithms, in: Journal of Symbolic Computation, August 2012. [ DOI : doi:10.1016/j.jsc.2012.01.002 ]

    http://hal.inria.fr/hal-00776071
  • 4M. Bardet, J.-C. Faugère, B. Salvy, P.-J. Spaenlehauer.

    On the Complexity of Solving Quadratic Boolean Systems, in: Journal of Complexity, August 2012, vol. 29, no 1, p. 53-75. [ DOI : 10.1016/j.jco.2012.07.001 ]

    http://hal.inria.fr/hal-00655745
  • 5L. Bettale, J.-C. Faugère, L. Perret.

    Cryptanalysis of HFE, Multi-HFE and Variants for Odd and Even Characteristic, in: Designs, Codes and Cryptography, September 2012. [ DOI : 10.1007/s10623-012-9617-2 ]

    http://hal.inria.fr/hal-00776072
  • 6C. Carlet, J.-C. Faugère, C. Goyet, G. Renault.

    Analysis of the algebraic side channel attack, in: Journal of Cryptographic Engineering, May 2012, vol. 2, no 1, p. 45-62. [ DOI : 10.1007/s13389-012-0028-0 ]

    http://hal.inria.fr/hal-00777829
  • 7X. Chen, D. Wang.

    Management of Geometric Knowledge in Textbooks, in: Data & Knowledge Engineering, 2012, vol. 73, p. 43-57. [ DOI : 10.1016/j.datak.2011.10.004 ]

    http://hal.inria.fr/hal-00779254
  • 8J.-C. Faugère, D. Lin, L. Perret, T. Wang.

    On enumeration of polynomial equivalence classes and their application to MPKC, in: Finite Fields and Their Applications, March 2012, vol. 18, no 2, p. 283-302. [ DOI : 10.1016/j.ffa.2011.09.001 ]

    http://hal.inria.fr/hal-00776073
  • 9A. Greuet, G. Feng, M. Safey El Din, L. Zhi.

    Global optimization of polynomials restricted to a smooth variety using sums of squares, in: Journal of Symbolic Computation, 2012, vol. 47, no 7, p. 503-518. [ DOI : 10.1016/j.jsc.2011.12.003 ]

    http://hal.inria.fr/hal-00778239
  • 10H. Hong, M. Safey El Din.

    Variant Quantififer Elimination, in: Journal of Symbolic Computation, 2012, vol. 47, no 7, p. 883-901. [ DOI : 10.1016/j.jsc.2011.05.014 ]

    http://hal.inria.fr/hal-00778365
  • 11G. Jeronimo, D. Perrucci, E. Tsigaridas.

    On the minimum of a polynomial function on a basic closed semialgebraic set and applications, in: SIAM Journal on Optimization, 2012, p. 1-24.

    http://hal.inria.fr/hal-00776280
  • 12M. Jin, X. Li, D. Wang.

    A New Algorithmic Scheme for Computing Characteristic Sets, in: Journal of Symbolic Computation, 2012, p. 1–26, In press.
  • 13C. Mou, D. Wang, X. Li.

    Decomposing polynomial sets into simple sets over finite fields: The positive-dimensional case, in: Theoretical Computer Science, November 2012, p. 1–7. [ DOI : 10.1016/j.tcs.2012.11.009 ]

    http://hal.inria.fr/hal-00765840
  • 14W. Niu, D. Wang.

    Algebraic Analysis of Stability and Bifurcation of a Self-assembling Micelle System, in: Applied Mathematics and Computation, 2012, vol. 219, no 1, p. 108-121. [ DOI : 10.1016/j.amc.2012.04.087 ]

    http://hal.inria.fr/hal-00779245
  • 15S. Orange, G. Renault, K. Yokoyama.

    Efficient Arithmetic in Successive Algebraic Extension Fields Using Symmetries, in: Mathematics in Computer Science, September 2012, vol. 6, no 3, p. 217-233. [ DOI : 10.1007/s11786-012-0112-y ]

    http://hal.inria.fr/hal-00777860
  • 16E. Tsigaridas.

    Improved bounds for the CF algorithm, in: Theoretical Computer Science, October 2012, p. 1-12.

    http://hal.inria.fr/hal-00776230
  • 17D. Wang.

    Algebraic Stability Criteria and Symbolic Derivation of Stability Conditions for Feedback Control Systems, in: International Journal of Control, 2012, vol. 85, no 10, p. 1414-1421. [ DOI : 10.1080/00207179.2012.686633 ]

    http://hal.inria.fr/hal-00779248

Articles in National Peer-Reviewed Journals

  • 18X. Li, D. Wang.

    Simple Decomposition of Polynomial Sets over Finite Fields (in Chinese), in: Journal of Systems Science and Mathematical Sciences, 2012, vol. 32, no 1, p. 15–26.

International Conferences with Proceedings

  • 19M. Albrecht.

    The M4RIE library for dense linear algebra over small fields with even characteristic, in: ISSAC '12: Proceedings of the 2012 international symposium on Symbolic and algebraic computation, New York, NY, USA, ISSAC '12, ACM, 2012, p. 28–34, accepted.
  • 20M. Albrecht, G. Leander.

    An All-in-one Approach to Differential Cryptanalysis for Small Block Ciphers, in: Conference on Selected Areas of Cryptography, Ontario, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 2012, p. 1–12, accepted.
  • 21A. Benoit, A. Bostan, J. Van Der Hoeven.

    Quasi-optimal multiplication of linear differential operators, in: Foundations of Computer Science (FOCS), 2012 IEEE 53rd Annual Symposium on, Los Alamitos, CA, USA, FOCS '12, IEEE Computer Society, oct. 2012, vol. 1, p. 524 -530. [ DOI : 10.1109/FOCS.2012.57 ]

    http://hal.inria.fr/hal-00685401
  • 22L. Bettale, J.-C. Faugère, L. Perret.

    Solving Polynomial Systems over Finite Fields: Improved Analysis of the Hybrid Approach, in: ISSAC 2012, Grenoble, France, July 2012.

    http://hal.inria.fr/hal-00776070
  • 23X. Chen, W. Li, J. Luo, D. Wang.

    Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence (project description), in: Intelligent Computer Mathematics, Bremen, Allemagne, Lecture Notes in Computer Science, Springer, 2012, vol. 7362, p. 432-437. [ DOI : 10.1007/978-3-642-31374-5_31 ]

    http://hal.inria.fr/hal-00779263
  • 24J.-C. Faugère, C. Goyet, G. Renault.

    Attacking (EC)DSA Given Only an Implicit Hint, in: Selected Areas in Cryptography, Windsor, Canada, L. R. Knudsen, H. Wu (editors), Lecture Notes in Computer Science, Springer, 2012, vol. 7707, p. 252-274. [ DOI : 10.1007/978-3-642-35999-6_17 ]

    http://hal.inria.fr/hal-00777804
  • 25J.-C. Faugère, L. Perret, C. Petit, G. Renault.

    Improving the Complexity of Index Calculus Algorithms in Elliptic Curves over Binary Fields, in: Eurocrypt'2012, Cambridge, Royaume-Uni, April 2012.

    http://hal.inria.fr/hal-00776066
  • 26J.-C. Faugère, M. Safey El Din, P.-J. Spaenlehauer.

    Critical Points and Gröbner Bases: the Unmixed Case, in: ISSAC 2012 - International Symposium on Symbolic and Algebraic Computation - 2012, Grenoble, France, July 2012, 17 pages.

    http://hal.inria.fr/hal-00667494
  • 27J.-C. Faugère, J. Svartz.

    Solving Polynomial Systems Globally Invariant Under an Action of the Symmetric Group and Application to the Equilibria of N vortices in the Plane, in: ISSAC '12: Proceedings of the 2012 international symposium on Symbolic and algebraic computation, Grenoble, France, ACM, July 2012, p. 170-178.

    http://hal.inria.fr/hal-00777791
  • 28J.-C. Faugère, P. Gaudry, L. Huot, G. Renault.

    Using symmetries and fast change of ordering in the Index Calculus for Elliptic Curves Discrete Logarithm, in: SCC'12: Proceedings of the 3nd International Conference on Symbolic Computation and Cryptography, Castro-Urdiales, July 2012, p. 113–118.
  • 29D. Gligoroski, R. S. Ødegard, R. E. Jensen, L. Perret, J.-C. Faugère, S. J. Knapskog, S. Markovski.

    MQQ-SIG - An Ultra-Fast and Provably CMA Resistant Digital Signature Scheme, in: Trusted Systems - The Third International Conference on Trusted Systems - INTRUST 2011, Beijing, Chine, Y. Moti, C. Liqun, Z. Liehuang (editors), Lecture Notes in Computer Science, Springer Verlag, January 2012, vol. 7222, p. 184-203. [ DOI : 10.1007/978-3-642-32298-3_13 ]

    http://hal.inria.fr/hal-00778083
  • 30L. Ji, J. Cheng, E. Tsigaridas.

    Local Generic Position for Root Isolation of Zero-dimensional Triangular Polynomial Systems, in: CASC, Maribor, Slovénie, W. Koepf, E. Vorozhtsov (editors), September 2012, vol. 7442, p. 186-197.

    http://hal.inria.fr/hal-00776212
  • 31A. Strzebonski, E. Tsigaridas.

    Univariate Real Root Isolation in Multiple Extension Fields, in: ISSAC, Grenoble, France, 2012, p. 343-350.

    http://hal.inria.fr/hal-00776074
  • 32J. Yang, D. Wang, H. Hong.

    Improving Angular Speed Uniformity by Optimal C0 Piecewise Reparameterization, in: 14th International Workshop on Computer Algebra in Scientific Computing, Maribor, Slovénie, Lecture Notes in Computer Science, Springer, 2012, vol. 7442, p. 349-360. [ DOI : 10.1007/978-3-642-32973-9_29 ]

    http://hal.inria.fr/hal-00779259
  • 33T. Zhao, D. Wang, H. Hong, P. Aubry.

    Real Solution Formulas of Cubic and Quartic Equations Applied to Generate Dynamic Diagrams with Inequality Constraints, in: SAC 2012: Proceedings of the 27th ACM Symposium on Applied Computing, Riva del Garda, Italy, ACM Press, March 2012, p. 94–101. [ DOI : 10.1145/2245276.2245297 ]

    http://hal.inria.fr/hal-00683596

Conferences without Proceedings

  • 34M. Albrecht, C. Cid, J.-C. Faugère, R. Fitzpatrick, L. Perret.

    On the complexity of the Arora-Ge Algorithm against LWE, in: SCC – Third international conference on Symbolic Computation and Cryptography, Castro Urdiales, Espagne, June 2012.

    http://hal.inria.fr/hal-00776434
  • 35M. Albrecht, C. Cid, J.-C. Faugère, R. Fitzpatrick, L. Perret.

    On the Complexity of the BKW Algorithm on LWE, in: SCC – Third international conference on Symbolic Computation and Cryptography, Castro Urdiales, Espagne, June 2012.

    http://hal.inria.fr/hal-00776069

Scientific Books (or Scientific Book chapters)

  • 36I. Z. Emiris, V. Y. Pan, E. Tsigaridas.

    Algebraic Algorithms, in: Computing Handbook Set - Computer Science, T. Gonzalez (editor), CRC Press, 2012, vol. I.

    http://hal.inria.fr/hal-00776270
  • 37I. Z. Emiris, E. Tsigaridas, A. Varvitsiotis.

    Mixed volume and distance geometry techniques for counting Euclidean embeddings of rigid graphs, in: Distance Geometry: With Applications to Molecular Conformation and Sensor Networks, C. Lavor, L. Liberti, N. Maculan, A. Mucherino (editors), Springer-Verlag, 2012.

    http://hal.inria.fr/hal-00776252


previous Previous | up Home