Lobsters: Cryptographic Protocols in a Post-Quantum World