Rigorous and Efficient Short Lattice Vectors Enumeration [chapter]

Xavier Pujol, Damien Stehlé
2008 Lecture Notes in Computer Science  
The Kannan-Fincke-Pohst enumeration algorithm for the shortest and closest lattice vector problems is the keystone of all strong lattice reduction algorithms and their implementations. In the context of the fast developing lattice-based cryptography, the practical security estimates derive from floating-point implementations of these algorithms. However, these implementations behave very unexpectedly and make these security estimates debatable. Among others, numerical stability issues seem to
more » ... cur and raise doubts on what is actually computed. We give here the first results on the numerical behavior of the floatingpoint enumeration algorithm. They provide a theoretical and practical framework for the use of floating-point numbers within strong reduction algorithms, which could lead to more sensible hardness estimates.
doi:10.1007/978-3-540-89255-7_24 fatcat:bbgpqtzwhjbw3blroi24hyy74m