Philipp Mundhenk, Sebastian Steinhorst, Martin Lukasiewycz, Suhaib A. Fahmy, Samarjit Chakraborty
Security analysis of automotive architectures using probabilistic model checking
DAC, 2015.
@inproceedings{DAC-2015-MundhenkSLFC,
author = "Philipp Mundhenk and Sebastian Steinhorst and Martin Lukasiewycz and Suhaib A. Fahmy and Samarjit Chakraborty",
booktitle = "{Proceedings of the 52nd Annual Design Automation Conference}",
doi = "10.1145/2744769.2744906",
isbn = "978-1-4503-3520-1",
pages = "6",
publisher = "{ACM}",
title = "{Security analysis of automotive architectures using probabilistic model checking}",
year = 2015,
}