Building Trust on the Move: A Cryptographic Framework for Secure Data Exchange in Intelligent Vehicular Networks
Abstract/Description/Artist Statement
As vehicles evolve into mobile computers, future transportation systems will depend on secure data sharing and collaborative computation between cars and roadside infrastructure. Ensuring security, privacy, and accountability in such dynamic networks is challenging because vehicles continuously join, leave, and relay data under intermittent connectivity. This paper introduces VERA-VANET (Verifiable Encrypted Routing and Attestation), a cryptographic protocol that makes vehicular communication both secure and mathematically verifiable. When an Access Point (AP) disseminates encrypted job chunks, each vehicle processes only the data it is authorized to handle. Every packet is signed and acknowledged, producing compact, aggregatable proofs of delivery verifiable by the AP or cloud. For correctness, vehicles attach lightweight zero-knowledge proofs that confirm computations without revealing data. Under disconnections, vehicles safely store, carry, forward, and trace encrypted chunks through cryptographic receipts, making forgery and undetected tampering infeasible. VERA-VANET combines asymmetric encryption, aggregate signatures, and zero-knowledge attestations, and integrates with IEEE 802.11p / C-V2X using trusted hardware for secure key storage.
Faculty Advisor/Mentor
Stephan Olariu
Faculty Advisor/Mentor Email
solariu@odu.edu
Faculty Advisor/Mentor Department
Computer Science
College/School Affiliation
College of Sciences
Student Level Group
Graduate/Professional
Presentation Type
Oral Presentation
Building Trust on the Move: A Cryptographic Framework for Secure Data Exchange in Intelligent Vehicular Networks
As vehicles evolve into mobile computers, future transportation systems will depend on secure data sharing and collaborative computation between cars and roadside infrastructure. Ensuring security, privacy, and accountability in such dynamic networks is challenging because vehicles continuously join, leave, and relay data under intermittent connectivity. This paper introduces VERA-VANET (Verifiable Encrypted Routing and Attestation), a cryptographic protocol that makes vehicular communication both secure and mathematically verifiable. When an Access Point (AP) disseminates encrypted job chunks, each vehicle processes only the data it is authorized to handle. Every packet is signed and acknowledged, producing compact, aggregatable proofs of delivery verifiable by the AP or cloud. For correctness, vehicles attach lightweight zero-knowledge proofs that confirm computations without revealing data. Under disconnections, vehicles safely store, carry, forward, and trace encrypted chunks through cryptographic receipts, making forgery and undetected tampering infeasible. VERA-VANET combines asymmetric encryption, aggregate signatures, and zero-knowledge attestations, and integrates with IEEE 802.11p / C-V2X using trusted hardware for secure key storage.