Masoud Ebrahimi 0002, Stefan Marksteiner, Dejan Nickovic, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra König. A Systematic Approach to Automotive Security. In Marsha Chechik, Joost-Pieter Katoen, Martin Leucker, editors, Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings. Volume 14000 of Lecture Notes in Computer Science, pages 598-609, Springer, 2023. [doi]
@inproceedings{EbrahimiMNBSESSCSK23,
title = {A Systematic Approach to Automotive Security},
author = {Masoud Ebrahimi 0002 and Stefan Marksteiner and Dejan Nickovic and Roderick Bloem and David Schögler and Philipp Eisner and Samuel Sprung and Thomas Schober and Sebastian Chlup and Christoph Schmittner and Sandra König},
year = {2023},
doi = {10.1007/978-3-031-27481-7_34},
url = {https://doi.org/10.1007/978-3-031-27481-7_34},
researchr = {https://researchr.org/publication/EbrahimiMNBSESSCSK23},
cites = {0},
citedby = {0},
pages = {598-609},
booktitle = {Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings},
editor = {Marsha Chechik and Joost-Pieter Katoen and Martin Leucker},
volume = {14000},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-27481-7},
}