The automotive industry is mature in its ability to produce and prove cars are safe to drive. Safety was a major focus for the automotive industry for more than a decade. The problem of safety was solved! Today the automotive industry is in the beginning of a similar transformation around Cybersecurity. How can we solve the problem of automotive cybersecurity? A few key problems are the people and the tools available. I will talk about those challenges and how we can start solving the people problem and how a highly automated toolchain can efficiently prove cars are secure from design throughout production.