Sieving for shortest vectors in ideal lattices: a practical perspective. (2017)