CAVELIER: Automated Security Evaluation for Connected Autonomous Vehicle Applications | IEEE Conference Publication | IEEE Xplore