Westworld: Fuzzing-Assisted Remote Dynamic Symbolic Execution of Smart Apps on IoT Cloud Platforms

Lannan Luo, Qiang Zeng 0001, Bokai Yang, Fei Zuo, Junzhe Wang. Westworld: Fuzzing-Assisted Remote Dynamic Symbolic Execution of Smart Apps on IoT Cloud Platforms. In ACSAC '21: Annual Computer Security Applications Conference, Virtual Event, USA, December 6 - 10, 2021. pages 982-995, ACM, 2021. [doi]

@inproceedings{Luo0YZW21,
  title = {Westworld: Fuzzing-Assisted Remote Dynamic Symbolic Execution of Smart Apps on IoT Cloud Platforms},
  author = {Lannan Luo and Qiang Zeng 0001 and Bokai Yang and Fei Zuo and Junzhe Wang},
  year = {2021},
  doi = {10.1145/3485832.3488022},
  url = {https://doi.org/10.1145/3485832.3488022},
  researchr = {https://researchr.org/publication/Luo0YZW21},
  cites = {0},
  citedby = {0},
  pages = {982-995},
  booktitle = {ACSAC '21: Annual Computer Security Applications Conference, Virtual Event, USA, December 6 - 10, 2021},
  publisher = {ACM},
  isbn = {978-1-4503-8579-4},
}