Facing emerging challenges in connected vehicles: a formally proven, legislation compliant, and post-quantum ready security protocol

Adelin, Rémi; Nugier, Cyrius; Alata, Éric; Nicomette, Vincent; Migliore, Vincent; Kaâniche, Mohamed

doi:10.1007/s11416-022-00426-1

Cited by 2 publications

(1 citation statement)

References 49 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…1. Moreover, we focus on the particular challenges of authenticating V2V message broadcasts over noisy wireless channels, whereas existing hybrid designs in embedded or vehicular systems tend to focus on confidentiality or access control [18], [19], [20], [21], [22], or else consider reliable, wired channels with bidirectional communication [23], [24], [25], [26], [27].…”

Section: Introductionmentioning

confidence: 99%

When Cryptography Needs a Hand: Practical Post-Quantum Authentication for V2V Communications

Twardokus,

Bindel,

Rahbari

et al. 2024

Proceedings 2024 Network and Distributed System Security Symposium

View full text Add to dashboard Cite

We tackle the atypical challenge of supporting postquantum cryptography (PQC) and its significant overhead in safety-critical vehicle-to-vehicle (V2V) communications, dealing with strict overhead and latency restrictions within the limited radio spectrum for V2V. For example, we show that the current use of spectrum to support signature verification in V2V makes it nearly impossible to adopt PQC. Accordingly, we propose a scheduling technique for message signing certificate transmissions (which we find are currently up to 93% redundant) that learns to adaptively reduce the use of radio spectrum. In combination, we design the first integration of PQC and V2V, which satisfies the above stringent constraints given the available spectrum. Specifically, we analyze the three PQ signature algorithms selected for standardization by NIST, as well as XMSS (RFC 8391), and propose a Partially Hybrid authentication protocol-a tailored fusion of classical cryptography and PQC-for use in the V2V ecosystem during the nascent transition period we outline towards fully PQ V2V. Our provably secure protocol efficiently balances security and performance, as demonstrated experimentally with software-defined radios (USRPs), commercial V2V devices, and road traffic and V2V simulators. We show our joint transmission scheduling optimization and Partially Hybrid design are scalable and reliable under realistic conditions, adding a negligible average delay (0.39 ms per message) against the current state-of-the-art.

show abstract