Publikationen
Formal Security Analysis of Vehicle Diagnostic Protocols
| Autor | Lauser, Timm; Krauß, Christoph |
|---|---|
| Datum | 2023 |
| Art | Conference Proceedings |
| In | The 17th International Conference on Availability, Reliability and Security, ARES |
| Publisher | Association for Computing Machinery |
| Schlüssel | lauser2023 |
Aus- und Weiterbildung
Informieren Sie sich über die Aus- und Weiterbildungsangebote der in ATHENE mitwirkenden Institutionen