FR

EN

Homepage Inria website
  • Inria login
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • Legal notice
  • Cookie management
  • Personal data
  • Cookies


Bibliography

Major publications by the team in recent years
  • 1Y. Bouzidi, S. Lazard, G. Moroz, M. Pouget, F. Rouillier, M. Sagraloff.

    Solving bivariate systems using Rational Univariate Representations, in: Journal of Complexity, 2016, vol. 37, pp. 34–75. [ DOI : 10.1016/j.jco.2016.07.002 ]

    https://hal.inria.fr/hal-01342211
  • 2E. Brugallé, P.-V. Koseleff, D. Pecker.

    On the lexicographic degree of two-bridge knots, in: Journal Of Knot Theory And Its Ramifications (JKTR), June 2016, vol. 25, no 7, 14p., 21 figs. [ DOI : 10.1142/S0218216516500449 ]

    https://hal.archives-ouvertes.fr/hal-01084472
  • 3E. Falbel, A. Guilloux.

    Dimension of character varieties for 3-manifolds, in: Proceedings of the American Mathematical Society, 2016. [ DOI : 10.1090/proc/13394 ]

    https://hal.archives-ouvertes.fr/hal-01370284
  • 4E. Falbel, A. Guilloux, P.-V. Koseleff, F. Rouillier, M. Thistlethwaite.

    Character Varieties For SL(3,C): The Figure Eight Knot, in: Experimental Mathematics, 2016, vol. 25, no 2, 17 p. [ DOI : 10.1080/10586458.2015.1068249 ]

    https://hal.inria.fr/hal-01362208
  • 5E. Falbel, J. Wang.

    Branched spherical CR structures on the complement of the figure-eight knot, in: Michigan Mathematical Journal, 2014, vol. 63, pp. 635-667.

    https://hal.archives-ouvertes.fr/hal-01374789
Publications of the year

Articles in International Peer-Reviewed Journals

Scientific Books (or Scientific Book chapters)

  • 13D. Aggarwal, A. Joux, A. Prakash, M. Santha.

    A New Public-Key Cryptosystem via Mersenne Numbers, in: Advances in Cryptology - CRYPTO 2018 - 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2018, Proceedings, Part III, Springer, 2018, pp. 459-482.

    https://hal.archives-ouvertes.fr/hal-01960756
  • 14D. Goudarzi, A. Joux, M. Rivain.

    How to Securely Compute with Noisy Leakage in Quasilinear Complexity, in: Advances in Cryptology - ASIACRYPT 2018 - 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part II, Springer, October 2018, pp. 547-574.

    https://hal.archives-ouvertes.fr/hal-01960745
  • 15A. Guilloux, S. Lanfranchi, É. Varcin.

    Mussolini et les mots de la race, in: La pensée de la race en Italie : du romantisme au fascisme, A. Aramini, E. Bovo (editors), Cahiers de la MSHE Ledoux. Archives de l’imaginaire social, Presses universitaires de Franche-Comté, May 2018, pp. 169-184.

    https://hal.archives-ouvertes.fr/hal-01768471

Other Publications

References in notes
  • 25R. Barbulescu.

    A brief history of pairings, in: International Workshop on the Arithmetic of Finite Fields WAIFI 2016, Gand, Belgium, Arithmetic of Finite Fields – WAIFI 2016, Springer, July 2016, vol. 10064.

    https://hal.archives-ouvertes.fr/hal-01363444
  • 26R. Barbulescu, S. Duquesne.

    Updating key size estimations for pairings, in: Journal of Cryptology, December 2018, vol. published online, to appear in print.

    https://hal.archives-ouvertes.fr/hal-01534101
  • 27R. Barbulescu, P. Gaudry, A. Guillevic, F. Morain.

    Improving NFS for the discrete logarithm problem in non-prime finite fields, in: Eurocrypt 2015 - 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, M. Fischlin, E. Oswald (editors), Advances in Cryptology – EUROCRYPT 2015, April 2015, vol. 9056, pp. 129-155. [ DOI : 10.1007/978-3-662-46800-5_6 ]

    https://hal.inria.fr/hal-01112879
  • 28R. Barbulescu, P. Gaudry, A. Joux, E. Thomé.

    A heuristic quasi-polynomial algorithm for discrete logarithm in finite fields of small characteristic, in: Eurocrypt 2014, Copenhagen, Denmark, P. Q. Nguyen, E. Oswald (editors), Advances in Cryptology - EUROCRYPT 2014, Springer, May 2014, vol. 8441, pp. 1-16. [ DOI : 10.1007/978-3-642-55220-5_1 ]

    https://hal.inria.fr/hal-00835446
  • 29R. Barbulescu, P. Gaudry, T. Kleinjung.

    The Tower Number Field Sieve, in: ASIACRYPT 2015, Auckland, New Zealand, T. Iwata, J. H. Cheon (editors), Advances in cryptology-Asiacrypt 2015, Springer, November 2015, vol. 9453, pp. 31-58.

    https://hal.archives-ouvertes.fr/hal-01155635
  • 30R. Barbulescu, C. Pierrot.

    The Multiple Number Field Sieve for Medium and High Characteristic Finite Fields, in: LMS Journal of Computation and Mathematics, 2014, vol. 17, pp. 230–246. [ DOI : 10.1112/S1461157014000369 ]

    https://hal.inria.fr/hal-00952610
  • 31R. Barbulescu, S. Shinde.

    A complete classification of ECM-friendly families using modular curves, June 2018, working paper or preprint.

    https://hal.archives-ouvertes.fr/hal-01822144
  • 32N. Bergeron, E. Falbel, A. Guilloux.

    Tetrahedra of flags, volume and homology of SL(3), in: Geometry & Topology Monographs, 2014, vol. 18. [ DOI : 10.2140/gt.2014.18.1911 ]

    https://hal.archives-ouvertes.fr/hal-01370258
  • 33J.-F. Biasse, T. Espitau, P.-A. Fouque, A. Gélin, P. Kirchner.

    Computing generator in cyclotomic integer rings, in: 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT 2017), Paris, France, Lecture Notes in Computer Science, April 2017, vol. 10210, pp. 60-88. [ DOI : 10.1007/978-3-319-56620-7_3 ]

    https://hal.archives-ouvertes.fr/hal-01518438
  • 34Y. Bouzidi, S. Lazard, G. Moroz, M. Pouget, F. Rouillier.

    Improved algorithm for computing separating linear forms for bivariate systems, in: ISSAC - 39th International Symposium on Symbolic and Algebraic Computation, Kobe, Japan, July 2014.

    https://hal.inria.fr/hal-00992634
  • 35Y. Bouzidi, S. Lazard, G. Moroz, M. Pouget, F. Rouillier, M. Sagraloff.

    Solving bivariate systems using Rational Univariate Representations, in: Journal of Complexity, 2016, vol. 37, pp. 34–75. [ DOI : 10.1016/j.jco.2016.07.002 ]

    https://hal.inria.fr/hal-01342211
  • 36Y. Bouzidi, A. Quadrat, F. Rouillier.

    Certified Non-conservative Tests for the Structural Stability of Multidimensional Systems, August 2017, 31 p, To appear in Multidimensional Systems and Signal Processing, https://link.springer.com/article/10.1007/s11045-018-0596-y.

    https://hal.inria.fr/hal-01571230
  • 37Y. Bouzidi, F. Rouillier.

    Certified Algorithms for proving the structural stability of two dimensional systems possibly with parameters, in: MNTS 2016 - 22nd International Symposium on Mathematical Theory of Networks and Systems, Minneapolis, United States, Proceedings of the 22nd International Symposium on Mathematical Theory of Networks and Systems, July 2016.

    https://hal.inria.fr/hal-01366202
  • 38E. Brugallé, P.-V. Koseleff, D. Pecker.

    Untangling trigonal diagrams, in: Journal Of Knot Theory And Its Ramifications (JKTR), June 2016, vol. 25, no 7, 10p., 24 figs. [ DOI : 10.1142/S0218216516500437 ]

    https://hal.archives-ouvertes.fr/hal-01084463
  • 39E. Brugallé, P.-V. Koseleff, D. Pecker.

    The lexicographic degree of the first two-bridge knots, September 2018, 30 p., 58 fig., 6 tables, submitted.

    https://hal.archives-ouvertes.fr/hal-01108678
  • 40D. Chablat, R. Jha, F. Rouillier, G. Moroz.

    Non-singular assembly mode changing trajectories in the workspace for the 3-RPS parallel robot, in: 14th International Symposium on Advances in Robot Kinematics, Ljubljana, Slovenia, June 2014, pp. 149 - 159.

    https://hal.archives-ouvertes.fr/hal-00956325
  • 41D. Chablat, R. Jha, F. Rouillier, G. Moroz.

    Workspace and joint space analysis of the 3-RPS parallel robot, in: ASME 2013 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Buffalo, United States, August 2014, vol. Volume 5A, pp. 1-10.

    https://hal.archives-ouvertes.fr/hal-01006614
  • 42M. Deraux, E. Falbel.

    Complex hyperbolic geometry of the figure eight knot, in: Geometry and Topology, February 2015, vol. 19, pp. 237–293. [ DOI : 10.2140/gt.2015.19.237 ]

    https://hal.archives-ouvertes.fr/hal-00805427
  • 43D. N. Diatta, S. Diatta, F. Rouillier, M.-F. Roy, M. Sagraloff.

    Bounds for polynomials on algebraic numbers and application to curve topology, October 2018, working paper or preprint.

    https://hal.inria.fr/hal-01891417
  • 44J. Doliskani, A. K. Narayanan, É. Schost.

    Drinfeld Modules with Complex Multiplication, Hasse Invariants and Factoring Polynomials over Finite Fields, in: CoRR, 2017, vol. abs/1712.00669.

    http://arxiv.org/abs/1712.00669
  • 45T. Espitau, A. Joux.

    Adaptive precision LLL and Potential-LLL reductions with Interval arithmetic, in: IACR Cryptology ePrint Archive, 2016, vol. 2016, 528 p.

    http://eprint.iacr.org/2016/528
  • 46E. Falbel, A. Guilloux.

    Dimension of character varieties for 3-manifolds, in: Proceedings of the American Mathematical Society, 2016. [ DOI : 10.1090/proc/13394 ]

    https://hal.archives-ouvertes.fr/hal-01370284
  • 47E. Falbel, A. Guilloux, P. Will.

    Hilbert metric, beyond convexity, 2018, working paper or preprint.

    https://hal.archives-ouvertes.fr/hal-01768400
  • 48E. Falbel, P.-V. Koseleff, F. Rouillier.

    Representations of fundamental groups of 3-manifolds into PGL(3,C): Exact computations in low complexity, in: Geometriae Dedicata, August 2015, vol. 177, no 1, 52 p. [ DOI : 10.1007/s10711-014-9987-x ]

    https://hal.inria.fr/hal-00908843
  • 49E. Falbel, M. Maculan, G. Sarfatti.

    Configurations of flags in orbits of real forms, April 2018, working paper or preprint.

    https://hal.archives-ouvertes.fr/hal-01779459
  • 50E. Falbel, R. Santos Thebaldi.

    A Flag structure on a cusped hyperbolic 3-manifold with unipotent holonomy, in: Pacific Journal of Mathematics, 2015, vol. 278, no 1, pp. 51-78.

    https://hal.archives-ouvertes.fr/hal-00958255
  • 51E. Falbel, J. Veloso.

    Flag structures on real 3-manifolds, April 2018, working paper or preprint.

    https://hal.archives-ouvertes.fr/hal-01778582
  • 52A. Guilloux.

    Volume of representations and birationality of peripheral holonomy, in: Experimental Mathematics, May 2017.

    https://hal.archives-ouvertes.fr/hal-01370287
  • 53A. Guilloux, I. Kim.

    Deformation space of discrete groups of SU(2,1) in quaternionic hyperbolic plane, March 2018, working paper or preprint.

    https://hal.archives-ouvertes.fr/hal-01736953
  • 54A. Guilloux, J. Marché.

    Volume function and Mahler measure of exact polynomials, April 2018, working paper or preprint.

    https://hal.archives-ouvertes.fr/hal-01758986
  • 55A. Guilloux, P. Will.

    On SL(3,C)-representations of the Whitehead link group, 2018, To appear in Geom. Ded..

    https://hal.archives-ouvertes.fr/hal-01370289
  • 56A. Gélin, A. Joux.

    Reducing number field defining polynomials: an application to class group computations, in: Algorithmic Number Theory Symposium XII, Kaiserslautern, Germany, LMS Journal of Computation and Mathematics, August 2016, vol. 19, no A, pp. 315–331. [ DOI : 10.1112/S1461157016000255 ]

    https://hal.archives-ouvertes.fr/hal-01362144
  • 57F. Göloğlu, A. Joux.

    A Simplified Approach to Rigorous Degree 2 Elimination in Discrete Logarithm Algorithms, in: IACR Cryptology ePrint Archive, 2018, vol. 2018, 430 p.

    https://eprint.iacr.org/2018/430
  • 58R. Jha, D. Chablat, L. Baron, F. Rouillier, G. Moroz.

    Workspace, Joint space and Singularities of a family of Delta-Like Robot, in: Mechanism and Machine Theory, September 2018, vol. 127, pp. 73-95. [ DOI : 10.1016/j.mechmachtheory.2018.05.004 ]

    https://hal.archives-ouvertes.fr/hal-01796066
  • 59R. Jha, D. Chablat, F. Rouillier, G. Moroz.

    An algebraic method to check the singularity-free paths for parallel robots, in: International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Boston, United States, ASME, August 2015.

    https://hal.archives-ouvertes.fr/hal-01142989
  • 60R. Jha, D. Chablat, F. Rouillier, G. Moroz.

    Workspace and Singularity analysis of a Delta like family robot, in: 4th IFTOMM International Symposium on Robotics and Mechatronics, Poitiers, France, June 2015.

    https://hal.archives-ouvertes.fr/hal-01142465
  • 61A. Joux.

    A one round protocol for tripartite Diffie-Hellman, in: J. Cryptology, 2004, vol. 17, no 4, pp. 263–276.
  • 62A. Joux, R. Lercier.

    The function field sieve is quite special, in: Algorithmic Number Theory-ANTS V, Lecture Notes in Computer Science, Springer, 2002, vol. 2369, pp. 431-445.
  • 63A. Joux, R. Lercier.

    Improvements to the general number field sieve for discrete logarithms in prime fields. A comparison with the gaussian integer method, in: Math. Comput., 2003, vol. 72, no 242, pp. 953-967.
  • 64A. Joux, C. Pierrot.

    Improving the Polynomial time Precomputation of Frobenius Representation Discrete Logarithm Algorithms - Simplified Setting for Small Characteristic Finite Fields, in: 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, Lecture Notes in Computer Science, Springer Berlin Heidelberg, December 2014, vol. 8873, pp. 378-397. [ DOI : 10.1007/978-3-662-45611-8_20 ]

    https://hal.archives-ouvertes.fr/hal-01213649
  • 65A. Joux, C. Pierrot.

    Nearly Sparse Linear Algebra and application to Discrete Logarithms Computations, in: Contemporary Developments in Finite Fields and Applications , 2016. [ DOI : 10.1142/9789814719261_0008 ]

    https://hal.inria.fr/hal-01154879
  • 66A. Kobel, F. Rouillier, M. Sagraloff.

    Computing Real Roots of Real Polynomials ... and now For Real!, in: ISSAC '16 Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, Waterloo, Canada, ISSAC '16 Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, July 2016, 7 p. [ DOI : 10.1145/2930889.2930937 ]

    https://hal.inria.fr/hal-01363955
  • 67P.-V. Koseleff, D. Pecker.

    Chebyshev Knots, in: Journal of Knot Theory and Its Ramifications, April 2011, vol. 20, no 4, pp. 575-593. [ DOI : 10.1142/S0218216511009364 ]

    https://hal.archives-ouvertes.fr/hal-00344501
  • 68P.-V. Koseleff, D. Pecker.

    On Alexander–Conway polynomials of two-bridge links, in: Journal of Symbolic Computation, May 2015, vol. Volume 68, no 2, pp. 215-229, 15p. [ DOI : 10.1016/j.jsc.2014.09.011 ]

    https://hal.archives-ouvertes.fr/hal-00538729
  • 69P.-V. Koseleff, D. Pecker.

    Harmonic Knots, in: Journal Of Knot Theory And Its Ramifications (JKTR), 2016, vol. 25, no 13, 18 p, 18 p., 30 fig.. [ DOI : 10.1142/S0218216516500747 ]

    https://hal.archives-ouvertes.fr/hal-00680746
  • 70P.-V. Koseleff, D. Pecker, F. Rouillier.

    The first rational Chebyshev knots, in: Journal of Symbolic Computation, December 2010, vol. 45, no 12, pp. 1341-1358. [ DOI : 10.1016/j.jsc.2010.06.014 ]

    https://hal.archives-ouvertes.fr/hal-00429510
  • 71P.-V. Koseleff, F. Rouillier, C. Tran.

    On the sign of a trigonometric expression, in: ISSAC ' 15, Bath, United Kingdom, Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, July 2015. [ DOI : 10.1145/2755996.2756664 ]

    https://hal.inria.fr/hal-01200820
  • 72S. Lazard, M. Pouget, F. Rouillier.

    Bivariate triangular decompositions in the presence of asymptotes, in: Journal of Symbolic Computation, 2017, vol. 82, pp. 123 - 133. [ DOI : 10.1016/j.jsc.2017.01.004 ]

    https://hal.inria.fr/hal-01468796
  • 73D. Lazard, F. Rouillier.

    Solving Parametric Polynomial Systems, in: Journal of Symbolic Computation, June 2007, vol. 42, pp. 636-667.
  • 74D. Niang Diatta, F. Rouillier, M.-F. Roy.

    On the computation of the topology of plane curves, in: International Symposium on Symbolic and Algebraic Computation, Kobe, Japan, K. Nabeshima (editor), ACM Press, July 2014, pp. 130-137. [ DOI : 10.1145/2608628.2608670 ]

    https://hal.archives-ouvertes.fr/hal-00935728
  • 75N. Revol, F. Rouillier.

    Motivations for an arbitrary precision interval arithmetic and the MPFI library, in: Reliable Computing, August 2005, vol. 11, no 4, pp. 275-290. [ DOI : 10.1007/s11155-005-6891-y ]

    https://hal.inria.fr/inria-00544998
  • 76F. Rouillier.

    Solving zero-dimensional systems through the rational univariate representation, in: Journal of Applicable Algebra in Engineering, Communication and Computing, 1999, vol. 9, no 5, pp. 433–461.
  • 77F. Rouillier, P. Zimmermann.

    Efficient Isolation of Polynomial Real Roots, in: Journal of Computational and Applied Mathematics, 2003, vol. 162, no 1, pp. 33–50.
  • 78C. Tran.

    Symbolic computing with the basis of Chebyshev's monic polynomials, Université Pierre et Marie Curie - Paris VI, October 2015.

    https://tel.archives-ouvertes.fr/tel-01273287