Publikationen

Formal Security Analysis of Vehicle Diagnostic Protocols

AutorLauser, Timm and Krauß, Christoph
Datum2023
ArtConference Proceedings
InThe 17th International Conference on Availability, Reliability and Security, ARES
PublisherAssociation for Computing Machinery
Schlüssellauser2023