On the 24th "SafeTRANS Industrial day-cross-industry processes, methods and technologies for safety and security of highly automated systems", Professor Hof holds a lecture entitled "Challenges for security proof for future automotive cyber systems". The slides of the lecture can be downloaded here: Link