Daniele Micciancio: Shortest Vector Problem. Encyclopedia of Cryptography and Security 2005