The shortest vector problem in L2 is NP-hard for randomized reductions, STOC (1998)

by M Ajtai