Post-Quantum Algebraic Cryptography