Formal Automotive Security Analysis Of CAN XL (Georgia Tech, QCRI, Purdue)

T2Covered by 1 source · first reported by Semiconductor Engineering / SemiWiki / EE Times / EE Journal / Electronics Weekly at 02 Oct, 19:05 UTC

Researchers at Georgia Institute of Technology, Qatar Computing Research Institute, and Purdue University published a technical paper titled “A Formal Security Analysis of CAN XL.” Abstract Excerpt: “For decades, the Controller Area Network (CAN) has been the backbone of in-vehicle communication…

hardwarescience

Sources

• T2Formal Automotive Security Analysis Of CAN XL (Georgia Tech, QCRI, Purdue)Semiconductor Engineering / SemiWiki / EE Times / EE Journal / Electronics Weekly02 Oct, 19:05