Message authentication in driverless cars
the tesla broadcast authentication protocol .