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)

Toward Automated Attack Discovery in SDN Controllers Through Formal Verification. - Bin Yuan; Chi Zhang; Jiajun Ren; Qunjinming Chen; Biang Xu; Qiankun Zhang; Zhen Li 027; Deqing Zou; Fan Zhang 024; Hai Jin 001 (IEEE Trans. Netw. Serv. Manag., 2024)