[HTML][HTML] A formal framework for security testing of automotive over-the-air update systems

R Kirk, HN Nguyen, J Bryans, SA Shaikh… - Journal of Logical and …, 2023 - Elsevier
Modern vehicles are comparable to desktop computers due to the increase in connectivity.
This fact also extends to potential cyber-attacks. A solution for preventing and mitigating …

Formalising uptane in csp for security testing

R Kirk, HN Nguyen, J Bryans, S Shaikh… - 2021 IEEE 21st …, 2021 - ieeexplore.ieee.org
Modern vehicles are susceptible to cybersecurity attacks due to the complexity of their
electronics architecture and a progressive integration of connectivity technologies. A …

[HTML][HTML] Systematic threat assessment and security testing of automotive over-the-air (OTA) updates

S Mahmood, HN Nguyen, SA Shaikh - Vehicular Communications, 2022 - Elsevier
Modern cars host numerous special-purpose computing and connectivity devices facilitating
the correct functioning of various in-vehicle systems. These devices host complex software …

A model-based security testing approach for automotive over-the-air updates

S Mahmood, A Fouillade, HN Nguyen… - … on Software Testing …, 2020 - ieeexplore.ieee.org
Modern connected cars are exposed to various cybersecurity threats due to the
sophisticated computing and connectivity technologies they host for providing enhanced …

Safe and secure automotive over-the-air updates

T Chowdhury, E Lesiuta, K Rikley, CW Lin… - … Safety, Reliability, and …, 2018 - Springer
Over-the-air updates have been used for years in the software industry, allowing bug fixes
and enhancements to desktop, laptop, and mobile operating systems and applications …

Secure and Lightweight Over-the-Air Software Update Distribution for Connected Vehicles

C Plappert, A Fuchs - Proceedings of the 39th Annual Computer Security …, 2023 - dl.acm.org
Connected vehicles are increasingly threatened by cyberattacks during their long lifecycle.
Therefore, timely Over-the-Air (OTA) update processes are becoming a mandatory mitigation …

An agnostic domain specific language for implementing attacks in an automotive use case

C Wolschke, S Marksteiner, T Braun… - Proceedings of the 16th …, 2021 - dl.acm.org
This paper presents a Domain Specific Language (DSL) for generically describing cyber
attacks, agnostic to specific system-under-test (SUT). The creation of the presented DSL is …

A formal model to facilitate security testing in modern automotive systems

E Santos, A Simpson, D Schoop - arXiv preprint arXiv:1805.05520, 2018 - arxiv.org
Ensuring a car's internal systems are free from security vulnerabilities is of utmost
importance, especially due to the relationship between security and other properties, such …

Uptane: Security and customizability of software updates for vehicles

TK Kuppusamy, LA DeLong… - IEEE vehicular …, 2018 - ieeexplore.ieee.org
UPTANE Page 1 This article has been accepted for inclusion in a future issue of this journal.
Content is final as presented, with the exception of pagination. 2 ||| 1556-6072/18©2018ieee …

[PDF][PDF] Formally Verified Software Update Management System in Automotive

J Seo, J Kwak, S Kim - … on Vehicle Security & Privacy. Internet …, 2023 - ndss-symposium.org
Through wireless networks, the number of cyberattacks on automotive systems is increasing.
To respond to cyberattacks on automotive systems, the United Nations Economic …