MPInspector: A Systematic and Automatic Approach for Evaluating the Security of IoT Messaging Protocols. - Qinying Wang; Shouling Ji; Yuan Tian 001; Xuhong Zhang 002; Binbin Zhao; Yuhong Kan; Zhaowei Lin; Changting Lin; Shuiguang Deng; Alex X. Liu; Raheem Beyah (USENIX Security Symposium, 2021)