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

Xuhang Ying, Sang Uk Sagong, Andrew Clark, Linda Bushnell, Radha Poovendran. Shape of the Cloak: Formal Analysis of Clock Skew-Based Intrusion Detection System in Controller Area Networks. IEEE Transactions on Information Forensics and Security, 14(9):2300-2314, 2019. [doi]

@article{YingSCBP19,
  title = {Shape of the Cloak: Formal Analysis of Clock Skew-Based Intrusion Detection System in Controller Area Networks},
  author = {Xuhang Ying and Sang Uk Sagong and Andrew Clark and Linda Bushnell and Radha Poovendran},
  year = {2019},
  doi = {10.1109/TIFS.2019.2895957},
  url = {https://doi.org/10.1109/TIFS.2019.2895957},
  researchr = {https://researchr.org/publication/YingSCBP19},
  cites = {0},
  citedby = {0},
  journal = {IEEE Transactions on Information Forensics and Security},
  volume = {14},
  number = {9},
  pages = {2300-2314},
}