Towards a formal verification of secure vehicle software updates.

Thu, 01 Jan 2026 00:00:00 +0100

Martin Slind Hagen, Emil Lundqvist, Alex Phu, Yenan Wang , Kim Strandberg, Elad Michael Schiller:
Towards a formal verification of secure vehicle software updates. Comput. Secur. 161: 104751 (2026)