Sheraz Mazhar

According to our database, Sheraz Mazhar authored at least 3 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Integrating Threat Analysis and Formal Verification for Secure OTA Updates.

Sheraz Mazhar, Abdur Rakib, Robin Doss, Adnan Anwar, Frank Jiang

Proceedings of the 30th IEEE Pacific Rim International Symposium on Dependable Computing, 2025

An Approach to Formal Verification of Autonomous Vehicle Systems using Threat Analysis.

Sheraz Mazhar, Abdur Rakib, Robin Doss, Adnan Anwar

Proceedings of the IEEE International Conference on Vehicular Electronics and Safety, 2025

2024

State-of-the-art authentication and verification schemes in VANETs: A survey.

Sheraz Mazhar, Abdur Rakib, Lei Pan, Frank Jiang, Adnan Anwar, Robin Doss, Jeremy W. Bryans

Veh. Commun., 2024