@misc{indiciaeb623ae7d62f3,
  title = {IoTSan: Fortifying the Safety of IoT Systems},
  author = {Dang Tu Nguyen and Chengyu Song and Zhiyun Qian and Srikanth V. Krishnamurthy and Edward J. M. Colbert and Patrick McDaniel},
  year = {2018},
  doi = {10.1145/3281411.3281440},
  url = {https://arxiv.org/abs/1810.09551},
  note = {Source identifier: 1810.09551}
}