A technical paper titled "Towards a Formal Verification of Secure Vehicle Software Updates" was published by researchers at Chalmers University of Technology and Volvo.
Abstract
"With the rise of software-defined vehicles (SDVs), where software governs most vehicle functions alongside enhanced connectivity, the need for secure software updates has become increasingly critical. Software vuln...
» read more