Paul Zimmermann

According to our database, Paul Zimmermann authored at least 73 papers between 1988 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2023

Deciphering Charles Quint (A diplomatic letter from 1547).

Cécile Pierrot, Camille Desenclos, Pierrick Gaudry, Paul Zimmermann

Proceedings of the 6th International Conference on Historical Cryptology, 2023

Towards a correctly-rounded and fast power function in binary64 arithmetic.

Tom Hubrecht, Claude-Pierre Jeannerod, Paul Zimmermann

Proceedings of the 30th IEEE Symposium on Computer Arithmetic, 2023

2022

Accuracy of Real Time Continuous Glucose Monitoring during Different Liquid Solution Challenges in Healthy Adults: A Randomized Controlled Cross-Over Trial.

Janis R. Schierbauer, Svenja Günther, Sandra Haupt, Rebecca T. Zimmer, Beate E. M. Zunner, Paul Zimmermann, Nadine B. Wachsmuth, Max L. Eckstein, Felix Aberer, Harald Sourij, Othmar Moser

Sensors, 2022

The State of the Art in Integer Factoring and Breaking Public-Key Cryptography.

Fabrice Boudot, Pierrick Gaudry, Aurore Guillevic, Nadia Heninger, Emmanuel Thomé, Paul Zimmermann

IEEE Secur. Priv., 2022

Is normal backwardation normal? Valuing financial futures with a local index-rate covariance.

Philippe Raimbourg, Paul Zimmermann

Eur. J. Oper. Res., 2022

The CORE-MATH Project.

Alexei Sibidanov, Paul Zimmermann, Stéphane Glondu

Proceedings of the 29th IEEE Symposium on Computer Arithmetic, 2022

2020

Comparing the difficulty of factorization and discrete logarithm: a 240-digit experiment.

Fabrice Boudot, Pierrick Gaudry, Aurore Guillevic, Nadia Heninger, Emmanuel Thomé, Paul Zimmermann

IACR Cryptol. ePrint Arch., 2020

A new ranking function for polynomial selection in the number field sieve.

Nicolas David, Paul Zimmermann

Proceedings of the 75 Years of Mathematics of Computation, 2020

2019

Imperfect forward secrecy: how Diffie-Hellman fails in practice.

David Adrian, Karthikeyan Bhargavan, Zakir Durumeric, Pierrick Gaudry, Matthew Green, J. Alex Halderman, Nadia Heninger, Drew Springall, Emmanuel Thomé, Luke Valenta, Benjamin VanderSloot, Eric Wustrow, Santiago Zanella Béguelin, Paul Zimmermann

Commun. ACM, 2019

2018

On Various Ways to Split a Floating-Point Number.

Claude-Pierre Jeannerod, Jean-Michel Muller, Paul Zimmermann

Proceedings of the 25th IEEE Symposium on Computer Arithmetic, 2018

2017

Optimized Binary64 and Binary128 Arithmetic with GNU MPFR.

Vincent Lefèvre, Paul Zimmermann

Proceedings of the 24th IEEE Symposium on Computer Arithmetic, 2017

2016

Better polynomials for GNFS.

Shi Bai, Cyril Bouvier, Alexander Kruppa, Paul Zimmermann

Math. Comput., 2016

2015

Corrigendum to "A long note on Mulders' short product" [J. Symb. Comput 37 (3) (2004) 391-401].

Guillaume Hanrot, Paul Zimmermann

J. Symb. Comput., 2015

2014

Division-Free Binary-to-Decimal Conversion.

Cyril Bouvier, Paul Zimmermann

IEEE Trans. Computers, 2014

Discrete Logarithm in GF(2809) with FFS.

Razvan Barbulescu, Cyril Bouvier, Jérémie Detrey, Pierrick Gaudry, Hamza Jeljeli, Emmanuel Thomé, Marion Videau, Paul Zimmermann

Proceedings of the Public-Key Cryptography - PKC 2014, 2014

2013

Numerical approximation of The Masser-Gramain constant to four decimal digits: δ = 1.819....

Guillaume Melquiond, W. Georg Nowak, Paul Zimmermann

Math. Comput., 2013

Discrete logarithm in GF(2⁸⁰⁹) with FFS.

Razvan Barbulescu, Cyril Bouvier, Jérémie Detrey, Pierrick Gaudry, Hamza Jeljeli, Emmanuel Thomé, Marion Videau, Paul Zimmermann

IACR Cryptol. ePrint Arch., 2013

2012

Non-linear polynomial selection for the number field sieve.

Thomas Prest, Paul Zimmermann

J. Symb. Comput., 2012

Finding Optimal Formulae for Bilinear Maps.

Razvan Barbulescu, Jérémie Detrey, Nicolas Estibals, Paul Zimmermann

IACR Cryptol. ePrint Arch., 2012

Factorisation of RSA-704 with CADO-NFS.

Shi Bai, Emmanuel Thomé, Paul Zimmermann

IACR Cryptol. ePrint Arch., 2012

2011

Elliptic Curve Method for Factoring.

Paul Zimmermann

Proceedings of the Encyclopedia of Cryptography and Security, 2nd Ed., 2011

Ballot stuffing in a postal voting system.

Véronique Cortier, Jérémie Detrey, Pierrick Gaudry, Frédéric Sur, Emmanuel Thomé, Mathieu Turuani, Paul Zimmermann

Proceedings of the 2011 International Workshop on Requirements Engineering for Electronic Voting Systems, 2011

Short Division of Long Integers.

David Harvey, Paul Zimmermann

Proceedings of the 20th IEEE Symposium on Computer Arithmetic, 2011

2010

Factorization of a 768-bit RSA modulus.

Thorsten Kleinjung, Kazumaro Aoki, Jens Franke, Arjen K. Lenstra, Emmanuel Thomé, Joppe W. Bos, Pierrick Gaudry, Alexander Kruppa, Peter L. Montgomery, Dag Arne Osvik, Herman J. J. te Riele, Andrey Timofeev, Paul Zimmermann

IACR Cryptol. ePrint Arch., 2010

Why and How to Use Arbitrary Precision.

Kaveh R. Ghazi, Vincent Lefèvre, Philippe Théveny, Paul Zimmermann

Comput. Sci. Eng., 2010

The great trinomial hunt

Richard P. Brent, Paul Zimmermann

CoRR, 2010

Modern Computer Arithmetic (version 0.5.1)

Richard P. Brent, Paul Zimmermann

CoRR, 2010

An O(M(n) log n) algorithm for the Jacobi symbol

Richard P. Brent, Paul Zimmermann

CoRR, 2010

Reliable Computing with GNU MPFR.

Paul Zimmermann

Proceedings of the Mathematical Software, 2010

An <i>O</i>(<i>M</i>(<i>n</i>) log<i>n</i>) Algorithm for the Jacobi Symbol.

Richard P. Brent, Paul Zimmermann

Proceedings of the Algorithmic Number Theory, 9th International Symposium, 2010

2009

Ten new primitive binary trinomials.

Richard P. Brent, Paul Zimmermann

Math. Comput., 2009

2008

Implementation of the reciprocal square root in MPFR.

Paul Zimmermann

Proceedings of the Numerical Validation in Current Hardware Architectures, 6.1., 2008

Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format.

Vincent Lefèvre, Damien Stehlé, Paul Zimmermann

Proceedings of the Reliable Implementation of Real Number Algorithms: Theory and Practice, 2008

Faster Multiplication in GF(2)[x].

Richard P. Brent, Pierrick Gaudry, Emmanuel Thomé, Paul Zimmermann

Proceedings of the Algorithmic Number Theory, 8th International Symposium, 2008

2007

MPFR: A multiple-precision binary floating-point library with correct rounding.

Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann

ACM Trans. Math. Softw., 2007

Error bounds on complex floating-point multiplication.

Richard P. Brent, Colin Percival, Paul Zimmermann

Math. Comput., 2007

A Multi-level Blocking Distinct Degree Factorization Algorithm

Richard P. Brent, Paul Zimmermann

CoRR, 2007

A gmp-based implementation of schönhage-strassen's large integer multiplication algorithm.

Pierrick Gaudry, Alexander Kruppa, Paul Zimmermann

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2007

Time-and space-efficient evaluation of some hypergeometric constants.

Howard Cheng, Guillaume Hanrot, Emmanuel Thomé, Paul Zimmermann, Eugene V. Zima

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2007

Worst Cases of a Periodic Function for Large Arguments.

Guillaume Hanrot, Vincent Lefèvre, Damien Stehlé, Paul Zimmermann

Proceedings of the 18th IEEE Symposium on Computer Arithmetic (ARITH-18 2007), 2007

2006

20 Years of ECM.

Paul Zimmermann, Bruce Dodson

Proceedings of the Algorithmic Number Theory, 7th International Symposium, 2006

2005

Elliptic Curve Method.

Paul Zimmermann

Proceedings of the Encyclopedia of Cryptography and Security, 2005

Searching Worst Cases of a One-Variable Function Using Lattice Reduction.

Damien Stehlé, Vincent Lefèvre, Paul Zimmermann

IEEE Trans. Computers, 2005

A primitive trinomial of degree 6972593.

Richard P. Brent, Samuli Larvala, Paul Zimmermann

Math. Comput., 2005

Guest editors' introduction: Special issue on practical development of exact real number computation.

Norbert Th. Müller, Martín Hötzel Escardó, Paul Zimmermann

J. Log. Algebraic Methods Program., 2005

An elementary digital plane recognition algorithm.

Yan Gérard, Isabelle Debled-Rennesson, Paul Zimmermann

Discret. Appl. Math., 2005

Gal's Accurate Tables Method Revisited.

Damien Stehlé, Paul Zimmermann

Proceedings of the 17th IEEE Symposium on Computer Arithmetic (ARITH-17 2005), 2005

2004

Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic.

David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, Paul Zimmermann

Numer. Algorithms, 2004

A long note on Mulders' short product.

Guillaume Hanrot, Paul Zimmermann

J. Symb. Comput., 2004

The Middle Product Algorithm I.

Guillaume Hanrot, Michel Quercia, Paul Zimmermann

Appl. Algebra Eng. Commun. Comput., 2004

A Binary Recursive Gcd Algorithm.

Damien Stehlé, Paul Zimmermann

Proceedings of the Algorithmic Number Theory, 6th International Symposium, 2004

2003

Density results on floating-point invertible numbers.

Guillaume Hanrot, Joël Rivat, Gerald Tenenbaum, Paul Zimmermann

Theor. Comput. Sci., 2003

A fast algorithm for testing reducibility of trinomials mod~2 and some new primitive trinomials of degree 3021377.

Richard P. Brent, Samuli Larvala, Paul Zimmermann

Math. Comput., 2003

Random Number Generators with Period Divisible by a Mersenne Prime.

Richard P. Brent, Paul Zimmermann

Proceedings of the Computational Science and Its Applications, 2003

Worst Cases and Lattice Reduction.

Damien Stehlé, Vincent Lefèvre, Paul Zimmermann

Proceedings of the 16th IEEE Symposium on Computer Arithmetic (Arith-16 2003), 2003

2002

Ten consecutive primes in arithmetic progression.

Harvey Dubner, Tony Forbes, Nik Lygeros, Michel Mizony, Harry Nelson, Paul Zimmermann

Math. Comput., 2002

A Proof of GMP Square Root.

Yves Bertot, Nicolas Magaud, Paul Zimmermann

J. Autom. Reason., 2002

Aliquot Sequence 3630 Ends After Reaching 100 Digits.

Manuel Benito, Wolfgang Creyaufmüller, Juan Luis Varona, Paul Zimmermann

Exp. Math., 2002

2001

De l'algorithmique à l'arithmétique via le calcul formel. (From algorithmics to arithmetic via computer algebra).

Paul Zimmermann

, 2001

2000

Factorization in ***[<i>x</i>]: the searching phase.

John Abbott, Victor Shoup, Paul Zimmermann

Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, 2000

Factorization of a 512-Bit RSA Modulus.

Stefania Cavallar, Bruce Dodson, Arjen K. Lenstra, Walter M. Lioen, Peter L. Montgomery, Brian Murphy, Herman J. J. te Riele, Karen I. Aardal, Jeff Gilchrist, Gérard Guillerm, Paul C. Leyland, Joël Marchand, François Morain, Alec Muffett, Chris Putnam, Craig Putnam, Paul Zimmermann

Proceedings of the Advances in Cryptology, 2000

1999

Uniform Random Generation of Decomposable Structures Using Floating-Point Arithmetic.

Alain Denise, Paul Zimmermann

Theor. Comput. Sci., 1999

On sums of seven cubes.

François Bertault, Olivier Ramaré, Paul Zimmermann

Math. Comput., 1999

Factorization of RSA-140 Using the Number Field Sieve.

Stefania Cavallar, Bruce Dodson, Arjen K. Lenstra, Paul C. Leyland, Walter M. Lioen, Peter L. Montgomery, Brian Murphy, Herman J. J. te Riele, Paul Zimmermann

Proceedings of the Advances in Cryptology, 1999

1997

Parallelism in MuPAD.

Christian Heckler, Oliver Kluge, Torsten Metzner, Andreas Sorgatz, Paul Zimmermann

SIGSAM Bull., 1997

1995

Function composition and automatic average case analysis.

Paul Zimmermann

Discret. Math., 1995

1994

GFUN: a Maple package for the manipulation of generating and holonomic functions in one variable.

Bruno Salvy, Paul Zimmermann

ACM Trans. Math. Softw., 1994

A Calculus for the Random Generation of Labelled Combinatorial Structures.

Philippe Flajolet, Paul Zimmermann, Bernard Van Cutsem

Theor. Comput. Sci., 1994

1993

A Calculus of Random Generation.

Philippe Flajolet, Paul Zimmermann, Bernard Van Cutsem

Proceedings of the Algorithms - ESA '93, First Annual European Symposium, Bad Honnef, Germany, September 30, 1993

1991

Séries génératrices et analyse automatique d'algorithmes. (Generating functions and automatic analysis of algorithms).

Paul Zimmermann

PhD thesis, 1991

Automatic Average-Case Analysis of Algorithm.

Philippe Flajolet, Bruno Salvy, Paul Zimmermann

Theor. Comput. Sci., 1991

Average Case Analysis of Unification Algorithms.

Luc Albert, Rafael Casas, François Fages, A. Torrecillas, Paul Zimmermann

Proceedings of the STACS 91, 1991

1988

Lambda - Upsilon - Omega: An Assistant Algorithms Analyzer.

Philippe Flajolet, Bruno Salvy, Paul Zimmermann

Proceedings of the Applied Algebra, 1988