@misc{indiciae6066aba23289,
  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},
  url = {https://arxiv.org/abs/1807.09432},
  note = {Source identifier: 1807.09432}
}