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