Mathematics in Post-Quantum Cryptography