MQTTactic: Security Analysis and Verification for Logic Flaws in MQTT Implementations. - Bin Yuan; Zhanxiang Song; Yan Jia; Zhenyu Lu; Deqing Zou; Hai Jin 001; Luyi Xing (SP, 2024)

Leakage of Authorization-Data in IoT Device Sharing: New Attacks and Countermeasure. - Bin Yuan; Maogen Yang; Zhen Xu; Qunjinming Chen; Zhanxiang Song; Zhen Li 027; Deqing Zou; Hai Jin 001 (IEEE Trans. Dependable Secur. Comput., 2024)