Date: 1 November 2024, Friday
Time: 4:30pm
Venue: CD634, The Hong Kong Polytechnic University
Zoom Meeting ID: 383 735 6917
Password: 270831
Speaker: Mr Cao Ding, The Hong Kong Polytechnic University
V2I-aided zk-SNARK for Travel Records Verification of Electric Vehicles
Mr Cao Ding, The Hong Kong Polytechnic University
Abstract:The rapid increase in the number of electric vehicles (EVs) has resulted in huge fuel tax losses for governments every year. Many countries have levied taxes based on the annual or monthly travel record (TR) submitted by the EV. On the one hand, TR contains important private information, such as the time, locations, and trajectories of EV owners. On the other hand, EV owners may forge TR to reduce taxes. Therefore, the verification protocol of TR requires extremely high security and effectiveness. To solve this outstanding issue, this paper proposes a V2I-SNARK protocol that combines vehicle-to-infrastructure communications (V2I) and zk-SNARK for TR verification of EVs. V2I-SNARK is divided into two stages, the trusted setup stage and the TR verification stage. In the former stage, a trusted authority (TA) will generate the proof key and verification key for verification and store them on the verification server (Verifier). In the latter stage, EV will use the proof key to generate a randomized proof, and the verifier will use the verification key to verify the proof. Regarding the performance of the V2I-SNARK protocol, we first provide security proofs for completeness, soundness, and zero-knowledge properties. Furthermore, we compare the verification efficiency, energy consumption, computational complexity, and other performance of V2I-SNARK with the benchmark protocols. The results show that the proposed V2I-SNARK protocol outperforms other protocols in terms of verification efficiency and energy consumption.
Speaker’s Bio:Cao Ding received the B.Eng. degree in automation from Beijing University of Chemical Technology, Beijing, China, and the M.Sc. degree in electronic and information engineering from The Hong Kong Polytechnic University, Hong Kong. He is now a Ph.D. student of The Hong Kong Polytechnic University. His research interests include vehicular networks and intelligent transport systems (ITS), specifically in vehicular ad hoc network (VANET). His research focuses most on the digital twin of vehicular networks and intelligent transport systems.
WEBINAR WEBSITE:
https://www.ee.cityu.edu.hk/~cccn/webinar/
