Published July 5, 2026 | Version v3
Software Open

A Formal Security Analysis of CAN XL

Authors/Creators

  • 1. ROR icon Georgia Institute of Technology

Description

This is the artifact of the paper "A Formal Security Analysis of CAN XL", submitted for the USENIX '26 Artifact Evaluation.

Files

CANXL.zip

Files (1.4 MB)

Name Size Download all
md5:30c918c0f617c507d5d80300949aa668
1.4 MB Preview Download