Skip to content

Post-Quantum Secure Lattice-Based Lightweight Authentication Scheme for Energy Internet-Based V2G Communication

2026 · IEEE Transactions on Information Forensics and Security · Vol 21, pp. 7530-7544 · 0 citations · 64 references

Abstract

Electric Vehicles (EVs) now function as both energy consumers and producers within the energy internet-enabled smart grid, enabling bidirectional energy exchange with the grid. To facilitate secure Vehicle-to-Grid (V2G) communication, mutual authentication between EVs and charging stations (CSs) over open wireless channels is crucial. While several authentication schemes have been proposed, most are vulnerable to post-quantum threats. To address this gap, this article presents an efficient lattice-based lightweight authentication protocol specifically designed for V2G communication. The protocol’s security is rigorously validated through formal analysis and formal security verification using an automated verification tool, known as the Automated Validation of Internet Security Protocols and Applications (AVISPA) tool. Additionally, an informal security analysis is performed to evaluate resilience against practical attacks. Moreover, comprehensive performance simulations confirm the protocol’s efficiency and feasibility for real-world V2G communication.

View source

Similar papers

Open access Sep 2026

PUF-based quantum-assisted authentication and ESP-assisted session key establishment for V2G networks

A PUF-based quantum authentication and key agreement protocol for V2G scenarios, which deeply binds classical PUF responses with quantum gate transformation techniques to achieve an efficient joint verification mechanism and achieves lightweight, anonymous, mutual, and dual-factor identity authentication alongside secu...

Jin-Wang Zhao, Run-Hua Shi, Can Wang et al. · 0 citations
Book Open access Oct 2026

Post-Quantum Safe Isogeny-Based Authenticated Key Establishment Protocol for Drones-Assisted 5G-Enabled Smart City Environments

Internet of Drones (IoD) is increasingly used in smart cities for surveillance, traffic monitoring, and emergency response. However, the open wireless environment and the rise of quantum computing pose serious threats to existing drone authentication schemes. This work introduces a lightweight Commutative Supersingular...

Debnath Ghosh, Basudeb Bera, Ashok Kumar Das et al. · 0 citations

Formal Verification of Quantum-Resilient Authentication and Handover Protocols for LDACS

A systematic security and vulnerability assessment of LDACS authentication and mobility mechanisms using formal symbolic verification with the Tamarin prover provides formal evidence that the analyzed security mechanisms effectively mitigate cyber risks and enhance operational resilience, thereby supporting the safety...

SulemanKhan, GurjotSinghGaba, AndreiGurtov · 0 citations
Open access Sep 2026

An Efficient Post-Quantum User Authentication Protocol for Wireless Sensor Networks Using NTRU

Wireless sensor networks (WSNs) are pervasively employed in critical domains such as smart healthcare, industrial automation, and environmental surveillance, where secure access control is essential. User authentication protocols are vital for thwarting unauthorized intrusions, yet the vast majority of existing schemes...

Wei Shen, Jia-Qing Mo, Yu-Hua Lin · 0 citations
Conference Aug 2026

Anonymous and Revocable V2V Authentication and Key Agreement Scheme for VANETs

Vehicle-to-Vehicle (V2V) communication in Vehicular Ad Hoc Networks (VANETs) is vulnerable to impersonation, privacy leakage, and other security threats over open wireless channels. Existing authentication schemes commonly rely on a centralized trusted authority (TA), resulting in increased latency and limited scalabil...

Ji-Ping Li, Zhi-Xi Hu, Yi-Ning Liu et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.