Zhaozhou Tang, Georgia Institute of Technology; Khaled Serag, Qatar Computing Research Institute; Z. Berkay Celik, Purdue University; Vijay Ganesh, Saman Zonouz, and Raheem Beyah, Georgia Institute of Technology
A Formal Security Analysis of CAN XL
Zhaozhou Tang, Georgia Institute of Technology; Khaled Serag, Qatar Computing Research Institute; Z. Berkay Celik, Purdue University; Vijay Ganesh, Saman Zonouz, and Raheem Beyah, Georgia Institute of Technology