A Systematic Approach to Automotive Security-Reference-Cited by-同舟云学术

A Systematic Approach to Automotive Security

Published:2023 Issue: Volume: Page:598-609
ISSN:0302-9743
Container-title:Formal Methods
language:
Short-container-title:

Author:

Ebrahimi Masoud,Marksteiner Stefan,Ničković Dejan,Bloem Roderick,Schögler David,Eisner Philipp,Sprung Samuel,Schober Thomas,Chlup Sebastian,Schmittner Christoph,König Sandra

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-27481-7_34

Reference18 articles.

1. Lecture Notes in Computer Science;F Aarts,2012

2. Aichernig, B.K., Bloem, R., Ebrahimi, M., Tappler, M., Winter, J.: Automata learning for symbolic execution. In: 2018 Formal Methods in Computer Aided Design (FMCAD), pp. 1–9. IEEE, Austin, Texas, USA (2018). https://doi.org/10.23919/FMCAD.2018.8602991

3. Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87–106 (1987). https://doi.org/10.1016/0890-5401(87)90052-6

4. Antonioli, D., Tippenhauer, N.O., Rasmussen, K.: BIAS: bluetooth impersonation AttackS. In: 2020 IEEE Symposium on Security and Privacy (SP), pp. 549–562. IEEE, San Francisco, CA, USA, May 2020. https://doi.org/10.1109/SP40000.2020.00093

5. Antonioli, D., Tippenhauer, N.O., Rasmussen, K.: Key negotiation downgrade attacks on bluetooth and bluetooth low energy. ACM Trans. Priv. Secur. 23(3), 14:1–14:28 (2020). https://doi.org/10.1145/3394497

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. RepFTI: Representation-Fused Function-Type Inference for Vehicular Secure Software Systems;Applied Sciences;2024-05-24

2. Revisiting Automotive Attack Surfaces: a Practitioners’ Perspective;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19

3. Approaches for Automating Cybersecurity Testing of Connected Vehicles;Studies in Computational Intelligence;2024

4. A Global Survey of Standardization and Industry Practices of Automotive Cybersecurity Validation and Verification Testing Processes and Tools;SAE International Journal of Connected and Automated Vehicles;2023-11-16