Mathematics of Post-Quantum Cryptography