This proposal will design, analyze, and implement solutions to securely establish cryptographic keys among a group of participants. We use cryptographic theory to establish structural guarantees at the protocol level and explore performance through implementation on different platforms. Hardness assumptions are chosen to be quantum-safe (based on coding theory or/and lattices). To protect the implementation against manipulation at runtime (e.g., through fault induction), we apply runtime verification. To ensure the necessary capabilities are available, ranging from cryptographic theory to advanced software engineering and signal-level analysis (for hardware implementations), a team of four universities has been formed.