Shape of the Cloak: Formal Analysis of Clock Skew-Based Intrusion
Detection System in Controller Area Networks

v1v2 (latest)

Shape of the Cloak: Formal Analysis of Clock Skew-Based Intrusion Detection System in Controller Area Networks

25 July 2018

Radha Poovendran

ArXiv (abs)PDF HTML

Papers citing "Shape of the Cloak: Formal Analysis of Clock Skew-Based Intrusion Detection System in Controller Area Networks"

7 / 7 papers shown

Title
Vehicular Intrusion Detection System for Controller Area Network: A Comprehensive Survey and Evaluation Yangyang Liu Lei Xue Sishan Wang Xiapu Luo Kaifa Zhao Pengfei Jing Xiaobo Ma Y. Tang Haiying Zhou AAML 44 0 0 22 May 2025
Detecting Masquerade Attacks in Controller Area Networks Using Graph Machine Learning William Marfo Pablo Moriano Deepak K. Tosh Shirley V. Moore 84 4 0 10 Aug 2024
A Systematic Survey of Attack Detection and Prevention in Connected and Autonomous Vehicles Trupil Limbasiya Ko Zheng Teng Sudipta Chattopadhyay Jianying Zhou 50 51 0 27 Mar 2022
INDRA: Intrusion Detection using Recurrent Autoencoders in Automotive Embedded Systems Vipin Kumar Kukkala S. V. Thiruloga S. Pasricha AAML 71 42 0 17 Jul 2020
Covert Channel-Based Transmitter Authentication in Controller Area Networks Xuhang Ying Giuseppe Bernieri Mauro Conti L. Bushnell Radha Poovendran 44 8 0 08 Dec 2019
Mitigating Vulnerabilities of Voltage-based Intrusion Detection Systems in Controller Area Networks Sagong Uk Sang Radha Poovendran L. Bushnell AAML 41 6 0 25 Jul 2019
TACAN: Transmitter Authentication through Covert Channels in Controller Area Networks Xuhang Ying Giuseppe Bernieri Mauro Conti Radha Poovendran 49 46 0 12 Mar 2019