A Formal Verification-Based Risk Assessment Framework for the Authentication of Self-driving Vehicles | IEEE Conference Publication | IEEE Xplore