Qinying Wang, Shouling Ji, Yuan Tian 0001, Xuhong Zhang 0005, Binbin Zhao, Yuhong Kan, Zhaowei Lin, Changting Lin, ShuiGuang Deng, Alex X. Liu, Raheem Beyah. MPInspector: A Systematic and Automatic Approach for Evaluating the Security of IoT Messaging Protocols. In Michael Bailey, Rachel Greenstadt, editors, 30th USENIX Security Symposium, USENIX Security 2021, August 11-13, 2021. pages 4205-4222, USENIX Association, 2021. [doi]
Abstract is missing.