Formal Security Analysis of CAN XL

Researchers from Georgia Tech, QCRI, and Purdue University published a technical paper analyzing the security of CAN XL, the next generation of in-vehicle communication technology.