Provably Secure Practical Lightweight Post-Quantum Key Establishment for IoMT
This paper introduces PQ-LiteKEM, a formally verified, lightweight post-quantum security protocol for energy- and resource-constrained Internet of Medical Things (IoMT) devices. Addressing near-term quantum threats and emerging regulatory mandates such as the EU Cyber Resilience Act, the protocol mitigates the ‘harvest...