Proceedings of the 4th ACM Workshop on Cyber-Physical System Security - Gollmann, Dieter. (Association for Computing Machinery,)