Gatekeeper: A Gateway-based Broadcast Authentication Protocol for the In-Vehicle Ethernet

Three separate repos:

• SecEthernetDev: sender/receiver applications and authenticator kernel module
• SecEthernetEval: evaluation scripts
• SecEthernetTamarin: Gatekeeper formal model

Citation

@inproceedings{asiaccs:2022:hu:gatekeeper,
  author    = {Shengtuo Hu and
               Qingzhao Zhang and
               Andr{\'{e}} Weimerskirch and
               Z. Morley Mao},
  title     = {Gatekeeper: {A} Gateway-based Broadcast Authentication Protocol for
               the In-Vehicle Ethernet},
  booktitle = {{ASIA} {CCS} '22: {ACM} Asia Conference on Computer and Communications
               Security},
  year      = {2022},
}

Reference

• a3f/mitm0
• Tamarin Prover