Proceedings of the 2013 ACM workshop on Security, privacy & dependability for cyber vehicles - Sadeghi, Ahmad-Reza (Association for Computing Machinery, 2013)