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]
Abstract is missing.