Guillaume Hanrot

According to our database, Guillaume Hanrot authored at least 26 papers between 2000 and 2019.

Collaborative distances:

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

2019

Approx-SVP in Ideal Lattices with Pre-processing.

Alice Pellet-Mary, Guillaume Hanrot, Damien Stehlé

IACR Cryptol. ePrint Arch., 2019

2018

A Lattice Basis Reduction Approach for the Design of Finite Wordlength FIR Filters.

Nicolas Brisebarre, Silviu-Ioan Filip, Guillaume Hanrot

IEEE Trans. Signal Process., 2018

2017

Exponential Sums and Correctly-Rounded Functions.

Nicolas Brisebarre, Guillaume Hanrot, Olivier Robert

IEEE Trans. Computers, 2017

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

Formally Verified Certificate Checkers for Hardest-to-Round Computation.

Érik Martin-Dorel, Guillaume Hanrot, Micaela Mayero, Laurent Théry

J. Autom. Reason., 2015

2014

Markov chain Monte Carlo algorithms for lattice Gaussian sampling.

Zheng Wang, Cong Ling, Guillaume Hanrot

Proceedings of the 2014 IEEE International Symposium on Information Theory, Honolulu, HI, USA, June 29, 2014

2012

High-Throughput Hardware Architecture for the SWIFFT / SWIFFTX Hash Functions.

Tamas Györfi, Octavian Cret, Guillaume Hanrot, Nicolas Brisebarre

IACR Cryptol. ePrint Arch., 2012

2011

Terminating BKZ.

Guillaume Hanrot, Xavier Pujol, Damien Stehlé

IACR Cryptol. ePrint Arch., 2011

Analyzing Blockwise Lattice Algorithms Using Dynamical Systems.

Guillaume Hanrot, Xavier Pujol, Damien Stehlé

Proceedings of the Advances in Cryptology - CRYPTO 2011, 2011

Algorithms for the Shortest and Closest Lattice Vector Problems.

Guillaume Hanrot, Xavier Pujol, Damien Stehlé

Proceedings of the Coding and Cryptology - Third International Workshop, 2011

2010

LLL: A Tool for Effective Diophantine Approximation.

Guillaume Hanrot

Proceedings of the LLL Algorithm - Survey and Applications, 2010

Constantes de Turán-Kubilius friables: une étude numérique.

Guillaume Hanrot, Bruno Martin, Gerald Tenenbaum

Exp. Math., 2010

Accelerating Lattice Reduction with FPGAs.

Jérémie Detrey, Guillaume Hanrot, Xavier Pujol, Damien Stehlé

Proceedings of the Progress in Cryptology, 2010

2008

Worst-Case Hermite-Korkine-Zolotarev Reduced Lattice Bases

Guillaume Hanrot, Damien Stehlé

CoRR, 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

Primality Proving with Elliptic Curves.

Laurent Théry, Guillaume Hanrot

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 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

Improved Analysis of Kannan's Shortest Lattice Vector Algorithm.

Guillaume Hanrot, Damien Stehlé

Proceedings of the Advances in Cryptology, 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

Floating-point L²-approximations to functions.

Nicolas Brisebarre, Guillaume Hanrot

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

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

2003

Density results on floating-point invertible numbers.

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

Theor. Comput. Sci., 2003

2001

Solvability by radicals from an algorithmic point of view.

Guillaume Hanrot, François Morain

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

2000

Solving Thue equations without the full unit group.

Guillaume Hanrot

Math. Comput., 2000