A Non-Invasive Cloud-Based Migration Strategy for Post-Quantum Cybersecurity in Smart HVAC Systems: Architecture, Implementation, and Empirical Evaluation

arXiv:2609.27828 · cs.CR, cs.AI, cs.SY, eess.SY · Submitted 2026-08-19 · Read on arXiv

cs.CR, cs.AI, cs.SY, eess.SY

Submitted: 2026-08-19

Updated: 2026-08-19

Terminology

Benchmark — 22× in this paper · explained in 2 episodes
Core — 16× in this paper · explained in 2 episodes
Open Quantum Safe — 11× in this paper
Verification — 9× in this paper · explained in 2 episodes
Cooperation — 7× in this paper · explained in 2 episodes
Benchmarking — 4× in this paper · explained in 3 episodes
Redundancy — 2× in this paper · explained in 2 episodes
Trace — 2× in this paper · explained in 2 episodes
Transport Layer Security — 2× in this paper
Alignment — 1× in this paper · explained in 1 episode
Computational overhead — 1× in this paper · explained in 2 episodes
Consistency — 1× in this paper · explained in 3 episodes
Formal Verification — 1× in this paper · explained in 2 episodes
HMAC-based Extract-and-Expand Key Derivation Function — 1× in this paper
Module Latticebased Key Encapsulation Mechanism — 1× in this paper

Sources

Related papers