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