How to Find Short Vectors in a Lattice

A lattice can be specified by different types of basis. Having a bad basis, they do not allow you to find short vectors in the lattice. And this is believed to be hard. This is basically the problem that these quantum money schemes using lattices are trying to base them on.