Towards a Formal Verification of Secure Vehicle Software Updates

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Hagen, Martin Slind, Lundqvist, Emil, Phu, Alex, Wang, Yenan, Strandberg, Kim, Schiller, Elad Michael
Formato:	Preprint
Publicado:	2025
Materias:	Cryptography and Security Distributed, Parallel, and Cluster Computing Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet

https://arxiv.org/abs/2511.15479