Sustainability-Focused Crypto Protocols Design Methodology for Sensors and IoT with the Deployment of LLMs

Among the key computing challenges today are green computing and quantum computing, with the quantum paradigm introducing adverse consequences for many existing cryptographic protocols. However, the entire internet critically depends on these protocols. Therefore, building on theoretical preliminaries, this paper derives a coherent methodological basis for designing and developing quantum-computing-resistant and sustainable protocols for sensors and the Internet of Things (IoT) by extending traditional approaches and including large language models (LLMs). In line with these premises, this paper focuses on authenticated key exchange (AKE), which is one key security service. To support ever-growing needs under the described conditions and using the developed methodology (called the Sustainability-focused LLM-supported crypto protocols development process, SFLSCDP), this paper presents a novel, formally verified AKE protocol family. This family of protocols can be considered ultra-lightweight, as a corresponding metric is also given. Consequently, additional effective means for security services in the post-quantum computing era are provided, even for computationally weak devices.