Paul Zimmermann

81 papers A* 3A 3B 3C 11Journal 42Unranked 14

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Correctly-Rounded Evaluation of a Function: Why, How, and at What Cost? ACM Comput. Surv. Nicolas Brisebarre, Guillaume Hanrot, Jean-Michel Muller, Paul Zimmermann
2025	C	`conf`	Correct Rounding in Double Extended Precision. ARITH Sélène Corbineau, Paul Zimmermann
2025	C	`conf`	FastTwoSum revisited. ARITH Claude-Pierre Jeannerod, Paul Zimmermann
2023	—	`conf`	Deciphering Charles Quint (A diplomatic letter from 1547). HistoCrypt Cécile Pierrot, Camille Desenclos, Pierrick Gaudry, Paul Zimmermann
2023	C	`conf`	Towards a correctly-rounded and fast power function in binary64 arithmetic. ARITH Tom Hubrecht, Claude-Pierre Jeannerod, Paul Zimmermann
2022	C	`conf`	The CORE-MATH Project. ARITH Alexei Sibidanov, Paul Zimmermann, Stéphane Glondu
2022	J	`jnl`	The State of the Art in Integer Factoring and Breaking Public-Key Cryptography. IEEE Secur. Priv. Fabrice Boudot, Pierrick Gaudry, Aurore Guillevic, Nadia Heninger, Emmanuel Thomé, Paul Zimmermann
2020	—	`ch.`	A new ranking function for polynomial selection in the number field sieve. 75 Years of Mathematics of Computation Nicolas David, Paul Zimmermann
2020	—	`conf`	Comparing the Difficulty of Factorization and Discrete Logarithm: A 240-Digit Experiment. CRYPTO (2) Fabrice Boudot, Pierrick Gaudry, Aurore Guillevic, Nadia Heninger, Emmanuel Thomé, Paul Zimmermann
2020	J	`jnl`	Comparing the difficulty of factorization and discrete logarithm: a 240-digit experiment. CoRR Fabrice Boudot, Pierrick Gaudry, Aurore Guillevic, Nadia Heninger, Emmanuel Thomé, Paul Zimmermann
2020	J	`jnl`	Comparing the difficulty of factorization and discrete logarithm: a 240-digit experiment. IACR Cryptol. ePrint Arch. Fabrice Boudot, Pierrick Gaudry, Aurore Guillevic, Nadia Heninger, Emmanuel Thomé, Paul Zimmermann
2019	J	`jnl`	Imperfect forward secrecy: how Diffie-Hellman fails in practice. Commun. ACM 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
2018	C	`conf`	On Various Ways to Split a Floating-Point Number. ARITH Claude-Pierre Jeannerod, Jean-Michel Muller, Paul Zimmermann
2017	C	`conf`	Optimized Binary64 and Binary128 Arithmetic with GNU MPFR. ARITH Vincent Lefèvre, Paul Zimmermann
2016	J	`jnl`	Better polynomials for GNFS. Math. Comput. Shi Bai, Cyril Bouvier, Alexander Kruppa, Paul Zimmermann
2015	J	`jnl`	Corrigendum to "A long note on Mulders' short product" [J. Symb. Comput 37 (3) (2004) 391-401]. J. Symb. Comput. Guillaume Hanrot, Paul Zimmermann
2015	A*	`conf`	Imperfect Forward Secrecy: How Diffie-Hellman Fails in Practice. CCS 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
2014	—	`conf`	Discrete Logarithm in GF(2809) with FFS. Public Key Cryptography Razvan Barbulescu, Cyril Bouvier, Jérémie Detrey, Pierrick Gaudry, Hamza Jeljeli, Emmanuel Thomé, Marion Videau, Paul Zimmermann
2014	J	`jnl`	Division-Free Binary-to-Decimal Conversion. IEEE Trans. Computers Cyril Bouvier, Paul Zimmermann
2013	J	`jnl`	Discrete logarithm in GF(2 IACR Cryptol. ePrint Arch. Razvan Barbulescu, Cyril Bouvier, Jérémie Detrey, Pierrick Gaudry, Hamza Jeljeli, Emmanuel Thomé, Marion Videau, Paul Zimmermann
2013	J	`jnl`	Numerical approximation of The Masser-Gramain constant to four decimal digits: δ = 1.819.... Math. Comput. Guillaume Melquiond, W. Georg Nowak, Paul Zimmermann
2012	J	`jnl`	Factorisation of RSA-704 with CADO-NFS. IACR Cryptol. ePrint Arch. Shi Bai, Emmanuel Thomé, Paul Zimmermann
2012	C	`conf`	Finding Optimal Formulae for Bilinear Maps. WAIFI Razvan Barbulescu, Jérémie Detrey, Nicolas Estibals, Paul Zimmermann
2012	J	`jnl`	Finding Optimal Formulae for Bilinear Maps. IACR Cryptol. ePrint Arch. Razvan Barbulescu, Jérémie Detrey, Nicolas Estibals, Paul Zimmermann
2012	J	`jnl`	Non-linear polynomial selection for the number field sieve. J. Symb. Comput. Thomas Prest, Paul Zimmermann
2011	—	`conf`	Ballot stuffing in a postal voting system. REVOTE Véronique Cortier, Jérémie Detrey, Pierrick Gaudry, Frédéric Sur, Emmanuel Thomé, Mathieu Turuani, Paul Zimmermann
2011	—	`ch.`	Elliptic Curve Method for Factoring. Encyclopedia of Cryptography and Security (2nd Ed.) Paul Zimmermann
2011	C	`conf`	Short Division of Long Integers. IEEE Symposium on Computer Arithmetic David Harvey, Paul Zimmermann
2010	—	`conf`	An ANTS Richard P. Brent, Paul Zimmermann
2010	J	`jnl`	An O(M(n) log n) algorithm for the Jacobi symbol CoRR Richard P. Brent, Paul Zimmermann
2010	A*	`conf`	Factorization of a 768-Bit RSA Modulus. CRYPTO 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
2010	J	`jnl`	Factorization of a 768-bit RSA modulus. IACR Cryptol. ePrint Arch. 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
2010	J	`jnl`	Modern Computer Arithmetic (version 0.5.1) CoRR Richard P. Brent, Paul Zimmermann
2010	—	`conf`	Reliable Computing with GNU MPFR. ICMS Paul Zimmermann
2010	J	`jnl`	The great trinomial hunt CoRR Richard P. Brent, Paul Zimmermann
2010	J	`jnl`	Why and How to Use Arbitrary Precision. Comput. Sci. Eng. Kaveh R. Ghazi, Vincent Lefèvre, Philippe Théveny, Paul Zimmermann
2009	J	`jnl`	Ten new primitive binary trinomials. Math. Comput. Richard P. Brent, Paul Zimmermann
2008	—	`conf`	Faster Multiplication in GF(2)[x]. ANTS Richard P. Brent, Pierrick Gaudry, Emmanuel Thomé, Paul Zimmermann
2008	—	`conf`	Implementation of the reciprocal square root in MPFR. Numerical Validation in Current Hardware Architectures Paul Zimmermann
2008	—	`conf`	Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format. Reliable Implementation of Real Number Algorithms Vincent Lefèvre, Damien Stehlé, Paul Zimmermann
2007	J	`jnl`	A Multi-level Blocking Distinct Degree Factorization Algorithm CoRR Richard P. Brent, Paul Zimmermann
2007	B	`conf`	A gmp-based implementation of schönhage-strassen's large integer multiplication algorithm. ISSAC Pierrick Gaudry, Alexander Kruppa, Paul Zimmermann
2007	J	`jnl`	Error bounds on complex floating-point multiplication. Math. Comput. Richard P. Brent, Colin Percival, Paul Zimmermann
2007	J	`jnl`	MPFR: A multiple-precision binary floating-point library with correct rounding. ACM Trans. Math. Softw. Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann
2007	J	`jnl`	Time- and Space-Efficient Evaluation of Some Hypergeometric Constants CoRR Howard Cheng, Guillaume Hanrot, Emmanuel Thomé, Eugene V. Zima, Paul Zimmermann
2007	B	`conf`	Time-and space-efficient evaluation of some hypergeometric constants. ISSAC Howard Cheng, Guillaume Hanrot, Emmanuel Thomé, Paul Zimmermann, Eugene V. Zima
2007	C	`conf`	Worst Cases of a Periodic Function for Large Arguments. IEEE Symposium on Computer Arithmetic Guillaume Hanrot, Vincent Lefèvre, Damien Stehlé, Paul Zimmermann
2006	—	`conf`	20 Years of ECM. ANTS Paul Zimmermann, Bruce Dodson
2006	—	`conf`	Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format. Reliable Implementation of Real Number Algorithms Vincent Lefèvre, Damien Stehlé, Paul Zimmermann
2005	J	`jnl`	A primitive trinomial of degree 6972593. Math. Comput. Richard P. Brent, Samuli Larvala, Paul Zimmermann
2005	J	`jnl`	An elementary digital plane recognition algorithm. Discret. Appl. Math. Yan Gérard, Isabelle Debled-Rennesson, Paul Zimmermann
2005	—	`ch.`	Elliptic Curve Method. Encyclopedia of Cryptography and Security Paul Zimmermann
2005	C	`conf`	Gal's Accurate Tables Method Revisited. IEEE Symposium on Computer Arithmetic Damien Stehlé, Paul Zimmermann
2005	J	`jnl`	Guest editors' introduction: Special issue on practical development of exact real number computation. J. Log. Algebraic Methods Program. Norbert Th. Müller, Martín Hötzel Escardó, Paul Zimmermann
2005	J	`jnl`	Searching Worst Cases of a One-Variable Function Using Lattice Reduction. IEEE Trans. Computers Damien Stehlé, Vincent Lefèvre, Paul Zimmermann
2004	—	`conf`	A Binary Recursive Gcd Algorithm. ANTS Damien Stehlé, Paul Zimmermann
2004	J	`jnl`	A long note on Mulders' short product. J. Symb. Comput. Guillaume Hanrot, Paul Zimmermann
2004	J	`jnl`	Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic. Numer. Algorithms David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, Paul Zimmermann
2004	J	`jnl`	The Middle Product Algorithm I. Appl. Algebra Eng. Commun. Comput. Guillaume Hanrot, Michel Quercia, Paul Zimmermann
2003	J	`jnl`	A fast algorithm for testing reducibility of trinomials mod~2 and some new primitive trinomials of degree 3021377. Math. Comput. Richard P. Brent, Samuli Larvala, Paul Zimmermann
2003	J	`jnl`	Density results on floating-point invertible numbers. Theor. Comput. Sci. Guillaume Hanrot, Joël Rivat, Gerald Tenenbaum, Paul Zimmermann
2003	—	`conf`	Random Number Generators with Period Divisible by a Mersenne Prime. ICCSA (1) Richard P. Brent, Paul Zimmermann
2003	C	`conf`	Worst Cases and Lattice Reduction. IEEE Symposium on Computer Arithmetic Damien Stehlé, Vincent Lefèvre, Paul Zimmermann
2002	J	`jnl`	A Proof of GMP Square Root. J. Autom. Reason. Yves Bertot, Nicolas Magaud, Paul Zimmermann
2002	J	`jnl`	Aliquot Sequence 3630 Ends After Reaching 100 Digits. Exp. Math. Manuel Benito, Wolfgang Creyaufmüller, Juan Luis Varona, Paul Zimmermann
2002	J	`jnl`	Ten consecutive primes in arithmetic progression. Math. Comput. Harvey Dubner, Tony Forbes, Nik Lygeros, Michel Mizony, Harry Nelson, Paul Zimmermann
2001	—	`book`	De l'algorithmique à l'arithmétique via le calcul formel. (From algorithmics to arithmetic via computer algebra). Paul Zimmermann
2000	B	`conf`	Factorization in ***[ ISSAC John Abbott, Victor Shoup, Paul Zimmermann
2000	A*	`conf`	Factorization of a 512-Bit RSA Modulus. EUROCRYPT 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
1999	A	`conf`	Factorization of RSA-140 Using the Number Field Sieve. ASIACRYPT 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
1999	J	`jnl`	On sums of seven cubes. Math. Comput. François Bertault, Olivier Ramaré, Paul Zimmermann
1999	J	`jnl`	Uniform Random Generation of Decomposable Structures Using Floating-Point Arithmetic. Theor. Comput. Sci. Alain Denise, Paul Zimmermann
1997	J	`jnl`	Parallelism in MuPAD. SIGSAM Bull. Christian Heckler, Oliver Kluge, Torsten Metzner, Andreas Sorgatz, Paul Zimmermann
1995	J	`jnl`	Function composition and automatic average case analysis. Discret. Math. Paul Zimmermann
1994	J	`jnl`	A Calculus for the Random Generation of Labelled Combinatorial Structures. Theor. Comput. Sci. Philippe Flajolet, Paul Zimmermann, Bernard Van Cutsem
1994	J	`jnl`	GFUN: a Maple package for the manipulation of generating and holonomic functions in one variable. ACM Trans. Math. Softw. Bruno Salvy, Paul Zimmermann
1993	A	`conf`	A Calculus of Random Generation. ESA Philippe Flajolet, Paul Zimmermann, Bernard Van Cutsem
1991	J	`jnl`	Automatic Average-Case Analysis of Algorithm. Theor. Comput. Sci. Philippe Flajolet, Bruno Salvy, Paul Zimmermann
1991	A	`conf`	Average Case Analysis of Unification Algorithms. STACS Luc Albert, Rafael Casas, François Fages, A. Torrecillas, Paul Zimmermann
1991	—	`—`	Séries génératrices et analyse automatique d'algorithmes. (Generating functions and automatic analysis of algorithms). Paul Zimmermann
1988	—	`conf`	Lambda - Upsilon - Omega: An Assistant Algorithms Analyzer. AAECC Philippe Flajolet, Bruno Salvy, Paul Zimmermann