Security analysis of automotive architectures using probabilistic model checking.

Philipp Mundhenk, Sebastian Steinhorst, Martin Lukasiewycz, Suhaib A. Fahmy, Samarjit Chakraborty

Browse the full DAC paper archive.