Cryptography in a (post-)quantum world