Main Publications - Jean-Charles Faugère

 

List of publicatioms from HAL

Book Chapter

[1] Jean-Charles Faugère and Mohab Safey El Din. Mathématiques Appliquées (L3), chapter De l'algèbre linéaire à la résolution des systèmes polynomiaux, pages 331-388. Pearson, 2009. isbn: 978-2-7440-7352-6. [ bib ] [2] Frédéric Cazals, Jean-Charles Faugère, Marc Pouget, and Fabrice Rouillier. Ridges and Umbilics of Polynomial Parametric Surfaces, pages 141-159. Springer Berlin Heidelberg, 2008. isbn: 978-3-540-72184-0. [ bib |  |  ]

Journals (Guest Editors)

[1] Jean-Charles Faugere, Jaime Gutierrez, Domingo Gómez-Pérez, and Ludovic Perret. Mathematical and computer algebra techniques in cryptology, volume 64. Elsevier, November 2013. [ bib |  | http |  ] [2] Jean-Charles Faugère and Ludovic Perret. Symbolic Computation and Cryptography, volume 3. Birkhäuser and Springer, Mathematics in Computer Science, 2010. isbn: 1661-8270. [ bib |  |  ] [3] Jean-Charles Faugère and Carlos Cid, editors. Proceedings of the 2nd International Conference on Symbolic Computation and Cryptography (SCC 2010), Royal Holloway, University of London, Egham, June, 2010. Royal Holloway, University of London, 2010. isbn: 0000-0000. [ bib |  ] [4] Jean-Charles Faugère and Fabrice Rouillier. Polynomial system solving, volume 44. Academic Press, Inc., Journal of Symbolic Computation, 2009. isbn: 0747-7171. [ bib |  |  ] [5] Daniel Augot, Jean-Charles Faugère, and Ludovic Perret. Gröbner Bases Techniques in Coding Theory and Cryptography, volume 44. Academic Press, Inc., Journal of Symbolic Computation, 2009. isbn: 0747-7171. [ bib |  |  ] [6] Jean-Charles Faugère and Dongming Wang, editors. Proceedings of the First International Conference on Symbolic Computation and Cryptography (SCC 2008), Beijing, China, April 2008. Beihang University, China. isbn: 0000-0000. [ bib ]

Ph.D. Thesis - Habilitation

[1] Jean-Charles Faugère. Calcul efficace des bases de Gröbner et Applications. Habilitation à diriger des recherches, Université Pierre et Marie Curie - Paris VI, 2007. [ bib ] [2] Jean-Charles Faugère. Calcul efficace des bases de Gröbner et Applications. Habilitation à diriger des recherches, HDR, Université Paris 6, 2007. [ bib ] [3] Jean-Charles Faugère. Résolution des systèmes d'équations algébriques. PhD thesis, PhD thesis, Université Paris 6, 1994. [ bib |  ]

Preprints

[1] Christian Eder and Jean-Charles Faugère. A survey on signature-based Gröbner basis computations. April 2014. [ bib | http |  ] [2] Jean-Charles Faugère, Ayoub Otmani, Ludovic Perret, and Jean-Pierre Tillich. A Distinguisher for High Rate McEliece Cryptosystems. eprint Report 2010/331, 2010. [ bib |  ] [3] Jean-Charles Faugère, David Lubicz, and Damien Robert. Computing modular correspondences for abelian varieties. preprint Hal, arXiv:0910.4668v1, [cs.SC], 2010. [ bib |  ] [4] Jean-Charles Faugère, Jean-Pierre Merlet, and Fabrice Rouillier. On solving the direct kinematics problem for parallel robots. INRIA Research Report, n 5923, 2006. [ bib |  ] [5] Gwenolé Ars and Jean-Charles Faugère. Algebraic Immunities of functions over finite fields. INRIA Research Report, n 5532, 2005. [ bib |  ] [6] Bardet, Magali and Faugère, Jean-Charles and Salvy, B. Complexity of Gröbner basis computation for Semi-regular Overdetermined sequences over GF(2) with solutions in GF(2). INRIA Research Report, n 5049, 2003. [ bib |  ] [7] Faugère, Jean-Charles. Algebraic cryptanalysis of HFE using Gröbner bases. INRIA Research Report, n 4738, 2003. [ bib |  ] [8] Ars, Gwenolé and Faugère, Jean-Charles. An Algebraic Cryptanalysis of Nonlinear Filter Generators using Gröbner Bases. INRIA Research Report, n 4739, 2003. [ bib |  ]

Other International Conferences

[F05] Faugère J.C. and Rouillier F. Polynomial system solving for industrial problem. In SIAM Conference on Mathematics for Industry, october 2005. Detroit, Michigan. [F02b] Jean-Charles Faugère. Gröbner bases and application to hfe. In YACC - Conference on Cryptography, Porquerolles, France, 6 2002. [FKR99] Jean-Charles Faugère, Michel Kern, and Fabrice Rouillier. Using groebner bases to compute higher order finite elements for maß lumping. In 4th International Congress on Industrial and Applied Mathematics (ICIAM), Edimburgh, 1999. [FR99] Jean-Charles Faugère and Fabrice Rouillier. Design of filter and filter banks using dedicated computer algebra tools. In J. Johnson and M. Pueschel, editors, International Conference on Applications of Computer Algebra (ACA), 1999. [FRR99] Jean-Charles Faugère, Luc Rolland, and Fabrice Rouillier. Using computer algebra tools for off-line studies of parallel manipulators. In P. Kovacs, editor, International Conference on Applications of Computer Algebra (ACA), 1999.

National Conferences

[FR05] Jean-Charles Faugère and Fabrice Rouillier. Outils de calcul formel performants pour la résolution de certains problèmes en robotique. In Journées Nationales de Recherche en Robotique, pages 89--99, 2005. [F01d] Faugère J.C. Optimisation globale et calcul formel. In F. Rouillier, editor, Congrès National de Mathématiques Appliquées et Industrielles, mai 2001. Utilisation du calcul formel en calcul scientitfique.

International invited talks (selection)

[F13] Jean-Charles Faugère , (Talk given by C Eder) GBRELA Workshop 2013 Hagenberg, Austria September 03 06, 2013. [F11b] Jean-Charles Faugère. Solving efficiently structured polynomial systems and Applications in Cryptology, The 15th workshop on Elliptic Curve Cryptography ECC 2011 Nancy (Sep 19-21). [F11a] Jean-Charles Faugère. Gröbner Bases and Linear Algebra, SIAM Conference on Applied Algebraic Geometry Raleigh - North Carolina - USA (October 6-9, 2011). [F11c] Jean-Charles Faugère. On the Complexity of Solving Quadratic Boolean Systems, CRC 2011 - International Workshop on Certified and Reliable Computation NanNing, GuangXi, China, July 17-20, 2011. [F10b] Jean-Charles Faugère. FGb: a library for computing Gröbner bases, Invited Talk, The Third International Congress on Mathematical Software, Mathematical Software - ICMS 2010 Kobe Japan (Sep 13-17), K. Fukuda, J. van der Hoeven, M. Joswig and N. Takayama editors, volume 6327, pages 84--87 of Lecture Notes in Computer Science. Springer-Verlag 2010. [F10] Jean-Charles Faugère. Algebraic Cryptanalysis of McEliece Variants with Compact Keys. DSO Nationa Labs, Singapore 2010. [F09a] Jean-Charles Faugère. Efficient algorithm for computing Groebner bases. In N.Vasiliev, editor, Euler Institute, Polynomial Computer Algebra St Petersburg, Russia 2009. [F09b] Jean-Charles Faugère. Tutorial: Interactions between Computer Algebra (Groebner Bases) and Cryptology. In E. Kaltofen, editor, 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC) Seoul Korea July 28–31, 2009. [F09c] Jean-Charles Faugère. Groebner bases and cryptography. In , editor, The 11th International Workshop on Computer Algebra in Scientific Computing CASC, Kobe Japan, 2009. [F08e] Jean-Charles Faugère.invited lecture during the Second Workshop on Mathematical Cryptology in Santander (Spain). [F08e] Jean-Charles Faugère. give a tutorial talk at the Inscrypt 2008 : Special track on symbolic computation (Beijing, 14 December 2008) [F07] Jean-Charles Faugère. Groebner bases and cryptography. In Alex Biryukov, editor, Fast Software Encryption FSE, 2007. [F07b] Jean-Charles Faugère. Invited talk Indo-French Workshop in Cryptography 11-13 June 2007. [F07c] Jean-Charles Faugère. Two invited talk ECRYPT Summer School Samos (Greece) June 2007. [F07d] Jean-Charles Faugère. 3 Tutorials CNR Roma (Italy) June 2007. [F06a] Jean-Charles Faugère. Groebner bases attack on 2r. In Jaime Gutierrez, Workshop on Mathematical Cryptology, 6 2006. F06b] Jean-Charles Faugère. Solving polynomial systems with grobner bases: application in crypto. In B. Mourrain. L. Busé, M. Elkadi, editor, Computational Algebraic Geometry and Applications 06, 2006. [FR06] Jean-Charles Faugère and Fabrice Rouillier. key note lecture: Polynomial system solving. In B. Buchberger, editor, Special Semester on Groebner Bases B2, 2 2006. F03a] Jean-Charles Faugère. Fast gröbner algebraic cryptanalysis of hfe and filter generators. In International Workshop on Coding and Cryptography WCC 03, 2003. [F03b] Jean-Charles Faugère. Recent progress in cryptanalysis using algebraic equations. In NESSIE-STORK joint workshop: Cryptographic Research in Europe, 2 2003. [F02d] Jean-Charles Faugère. Classification of all planar central configurations of n bodies with equal masses in the case of the logarithmic potential and n<8. In 8th International Conference on Applications of Computer Algebra (ACA), 6 2002, Volos Greece. [F02e] Jean-Charles Faugère. A new efficient algorithm for computing gröbner bases without reduction to zero. In Workshop on application of Groebner Bases, Catania, Spain, 4 2002. [F02c] Jean-Charles Faugère. A new efficient algorithm for computing gröbner bases without reduction to zero. In Eighth Rhine Workshop on Computer Algebra - RWCA, 2002, Mannheim, Germany. [F01b] Jean-Charles Faugère. Polynomial system solving and applications. In L. Robbiano, editor, COmputational COmmutative Algebra COCOA VII, July 2001, Queen's University Kingston, Ontario, Canada. [F01c] Jean-Charles Faugère. Solving polynomial systems. algorithms and applications. In Computer Algebra in Applications to Integrable Systems, 11 2001, Isaac Newton Institute for Mathematical Sciences, Cambridge, UK. [F99b] Jean-Charles Faugère. Efficient polynomial systems solving: algorithms and software. In L. Robbiano, editor, COmputational COmmutative Algebra COCOA VI, May -- July 1999, Villa Gualino, Torino, Italy. [F98] J.-C. Faugère. The efficient algorithms for computing Gröbner bases. In M.F. Roy, editor, Mega 1998 Saint-Malo (France), 1998.