Towards a Formal Verification of Secure Vehicle Software Updates.

Sat, 01 Nov 2025 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. CoRR abs/2511.15479 (2025)