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

Lannan Luo, Qiang Zeng, Bokai Yang, Fei Zuo, Junzhe Wang

Browse the full ACSAC paper archive.