selected publications conference paper The CARAMEL Project: a Secure Architecture for Connected and Autonomous Vehicles. . 2020