Proceedings of the 2013 ACM workshop on Security, privacy & dependability for cyber vehicles