Publications
Formal Security Analysis of Vehicle Diagnostic Protocols
| Author | Lauser, Timm; Krauß, Christoph |
|---|---|
| Date | 2023 |
| Type | Conference Proceedings |
| In | The 17th International Conference on Availability, Reliability and Security, ARES |
| Publisher | Association for Computing Machinery |
| Partn | lauser2023 |
