TY - RPRT TI - Certified lattice reduction AU - Thomas Espitau AU - Antoine Joux PY - 2019 UR - https://arxiv.org/abs/1905.11743 ID - 1905.11743 ER -