@inproceedings{wang2021mpinspector,
  title={$\{$MPInspector$\}$: A Systematic and Automatic Approach for Evaluating the Security of $\{$IoT$\}$ Messaging Protocols},
  author={Wang, Qinying and Ji, Shouling and Tian, Yuan and Zhang, Xuhong and Zhao, Binbin and Kan, Yuhong and Lin, Zhaowei and Lin, Changting and Deng, Shuiguang and Liu, Alex X and others},
  booktitle={30th USENIX Security Symposium (USENIX Security 21)},
  pages={4205--4222},
  year={2021}
}