Timm Lauser, Christoph Krauß. Formal Security Analysis of Vehicle Diagnostic Protocols. In Proceedings of the 18th International Conference on Availability, Reliability and Security, ARES 2023, Benevento, Italy, 29 August 2023- 1 September 2023. ACM, 2023. [doi]
Abstract is missing.