64ca6c14-f1de-49dd-bbb3-4b46e3e907dc beie director@blueeyesintelligence.org 10.35940/ijrte.C6464.0910321 10.1007/s11227-019-03049-4Usman Ahmad, Hong Song, Awais Bilal, Mamoun Alazab, and Alireza Jolfaei. Securing smart vehicles from relay attacks using machine learning. The Journal of Supercomputing, 76(4):2665-2682, 2020.10.1016/j.adhoc.2019.02.001Moayad Aloqaily, Safa Otoum, Ismaeel Al Ridhawi, and Yaser Jararweh. An in- trusion detection system for connected vehicles in smart cities. Ad Hoc Networks, 90:101842, 2019.10.1109/ICSTW.2015.7107466Thomas Arts, John Hughes, Ulf Norell, and Hans Svensson. Testing autosar soft- ware with quickcheck. In 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pages 1-4. IEEE, 2015.10.1109/TITS.2021.3053406Faezeh Farivar, Mohammad Sayad Haghighi, Alireza Jolfaei, and Sheng Wen. On the security of networked control systems in smart vehicle and its adaptive cruise control. IEEE Transactions on Intelligent Transportation Systems, 2021.10.1109/DSN-W.2016.24Simon Fu¨rst and Markus Bechter. Autosar for connected and autonomous vehicles: The autosar adaptive platform. In 2016 46th annual IEEE/IFIP international conference on Dependable Systems and Networks Workshop (DSN-W), pages 215-217. IEEE, 2016.10.1109/MNET.2018.1700286Sahil Garg, Amritpal Singh, Shalini Batra, Neeraj Kumar, and Laurence T Yang. Uav-empowered edge computing environment for cyber-threat detection in smart vehicles. IEEE network, 32(3):42-51, 2018.10.1109/MSP.2004.26Jean-Pierre Hubaux, Srdjan Capkun, and Jun Luo. The security and privacy of smart vehicles. IEEE Security & Privacy, 2(3):49-55, 2004.10.1109/ICCW.2019.8757184Kuljeet Kaur, Sahil Garg, Georges Kaddoum, Fran¸cois Gagnon, and Syed Hassan Ahmed. Blockchain-based lightweight authentication mechanism for vehicular fog infrastructure. In 2019 IEEE International Conference on Communications Work- shops (ICC Workshops), pages 1-6. IEEE, 2019.Rongxing Lu, Xiaodong Lin, Haojin Zhu, P-H Ho, and Xuemin Shen. Ecpp: Ef- ficient conditional privacy preservation protocol for secure vehicular communica- tions. In IEEE INFOCOM 2008-The 27th Conference on Computer Communica- tions, pages 1229-1237. IEEE, 2008.10.1145/2752489.2752493Silverio Mart'ınez-Fern'andez, Claudia P Ayala, Xavier Franch, and Elisa Y Naka- gawa. A survey on the benefits and drawbacks of autosar. In Proceedings of the First International Workshop on Automotive Software Architecture, pages 19-26, 2015.10.1016/j.ipm.2020.102426Chuka Oham, Regio A Michelin, Raja Jurdak, Salil S Kanhere, and Sanjay Jha. B-ferl: Blockchain based framework for securing smart vehicles. Information Pro- cessing & Management, 58(1):102426, 2021.Bryan Parno and Adrian Perrig. Challenges in securing vehicular networks. In Workshop on hot topics in networks (HotNets-IV), pages 1-6. Maryland, USA, 2005.10.1109/TITS.2015.2439292F. Qu, Z. Wu, F. Wang, and W. Cho. A security and privacy review of vanets. IEEE Transactions on Intelligent Transportation Systems, 16(6):2985-2996, 2015.10.3233/JCS-2007-15103Maxim Raya and Jean-Pierre Hubaux. Securing vehicular ad hoc networks. Journal of computer security, 15(1):39-68, 2007.10.1109/WC-M.2006.250352Maxim Raya, Panos Papadimitratos, and Jean-Pierre Hubaux. Securing vehicular communications. IEEE wireless communications, 13(5):8-15, 2006.