TY - RPRT TI - Shape of the Cloak: Formal Analysis of Clock Skew-Based Intrusion Detection System in Controller Area Networks AU - Xuhang Ying AU - Sang Uk Sagong AU - Andrew Clark AU - Linda Bushnell AU - Radha Poovendran PY - 2019 UR - https://arxiv.org/abs/1807.09432 ID - 1807.09432 ER -