1363.1-2008 - IEEE Standard Specification for Public Key Cryptographic Techniques Based on Hard Problems over Lattices