Cryptographic Post-Quantum Protocols