External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Security Analysis of Vehicle Diagnostic Protocols

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]

Authors

Timm Lauser

This author has not been identified. Look up 'Timm Lauser' in Google

Christoph Krauß

This author has not been identified. Look up 'Christoph Krauß' in Google
runs on