TY  - RPRT
TI  - Towards a Formal Verification of Secure Vehicle Software Updates
AU  - Martin Slind Hagen
AU  - Emil Lundqvist
AU  - Alex Phu
AU  - Yenan Wang
AU  - Kim Strandberg
AU  - Elad Michael Schiller
PY  - 2025
DO  - 10.1016/j.cose.2025.104751
UR  - https://arxiv.org/abs/2511.15479
ID  - 2511.15479
ER  -