Generating hard instances of lattice problems (extended abstract) | Synapse