A technical paper titled “Towards a Formal Verification of Secure Vehicle Software Updates” was published by researchers at Chalmers University of Technology and Volvo. “With the rise of ...