A Secure and Efficient Vehicle OTA Software Update System: Design and Validation | IEEE Conference Publication | IEEE Xplore