The CARAMEL Project: a Secure Architecture for Connected and Autonomous Vehicles | IEEE Conference Publication | IEEE Xplore