A Systematic Approach to Automotive Security

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]

Authors

Masoud Ebrahimi 0002

This author has not been identified. Look up 'Masoud Ebrahimi 0002' in Google

Stefan Marksteiner

This author has not been identified. Look up 'Stefan Marksteiner' in Google

Dejan Nickovic

This author has not been identified. Look up 'Dejan Nickovic' in Google

Roderick Bloem

This author has not been identified. Look up 'Roderick Bloem' in Google

David Schögler

This author has not been identified. Look up 'David Schögler' in Google

Philipp Eisner

This author has not been identified. Look up 'Philipp Eisner' in Google

Samuel Sprung

This author has not been identified. Look up 'Samuel Sprung' in Google

Thomas Schober

This author has not been identified. Look up 'Thomas Schober' in Google

Sebastian Chlup

This author has not been identified. Look up 'Sebastian Chlup' in Google

Christoph Schmittner

This author has not been identified. Look up 'Christoph Schmittner' in Google

Sandra König

This author has not been identified. Look up 'Sandra König' in Google