Review of Detection and Avoidance of Interference Among Multiple Applications in Software-Defined Networks. - Jiangyuan Yao; Shengjun Lin; Chunxiang Xu; Min Jing; Deshun Li; Minrui Wang; Xingcan Cao (ICAIS (2), 2022)

Formal Verification of Security Protocols: ProVerif and Extensions. - Jiangyuan Yao; Chunxiang Xu; Deshun Li; Shengjun Lin; Xingcan Cao (ICAIS (2), 2022)

Model Checking of Software-Defined Networking for Multiple Applications. - Jiangyuan Yao; Shengjun Lin; Jiawen Wang; Deshun Li; Qiuling Yang; Changshuai Wang; Xiaobin Wang (SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta, 2022)