Robust decapsulation and input handling: Post-Quantum Cryptography course | Zoonk