| 2023 | SEKE | Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP. | Yingjia Du, Yuan Fei, Sini Chen, Huibiao Zhu |
| 2021 | DATE | SC4MEC: Automated Implementation of A Secure Hierarchical Calculus for Mobile Edge Computing. | Jiaqi Yin, Huibiao Zhu, Yuan Fei |
| 2021 | TrustCom | Formal Verification of HPS-based Master-Slave Scheme in MEC with Timed Automata. | Jiaqi Yin, Huibiao Zhu, Yuan Fei |
| 2021 | TASE | Formal Modelling and Verification of the RTPS Behavior Module. | Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu |
| 2020 | APSEC | Modeling and Verifying Data Access Mechanism of NLSR Trust Model. | Ningning Chen, Huibiao Zhu, Yuan Fei, Lili Xiao, Jiaqi Yin |
| 2020 | SEKE | Formalization and Verification of VANET. | Ran Li, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu |
| 2020 | SEKE | Formal Modelling and Verification of MCAC Router Architecture in ICN. | Junya Xu, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu |
| 2020 | SEKE | Modeling and Verifying NDN-based IoV Using CSP. | Ningning Chen, Huibiao Zhu, Jiaqi Yin, Lili Xiao, Yuan Fei |
| 2019 | ICFEM | A Security Calculus for Wireless Networks of Named Data Networking. | Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin |
| 2019 | SEKE | Modeling and Verifying TESAC Using CSP. | Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin |
| 2019 | SEKE | Formalization and Verification of RTPS StatefulWriter Module Using CSP. | Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu, Ruobiao Wu |
| 2018 | ICFEM | Modeling and Verifying NDN Access Control Using CSP. | Yuan Fei, Huibiao Zhu |
| 2018 | SEKE | Security Analysis of the Access Control Solution of NDN Using BAN Logic (S). | Yuan Fei, Huibiao Zhu, Huiwen Wang |
| 2018 | SEKE | Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP. | Huiwen Wang, Huibiao Zhu, Yuan Fei, Lili Xiao |
| 2018 | TASE | Modeling and Verification of NLSR Protocol using UPPAAL. | Yuan Fei, Huibiao Zhu, Xin Li |
| 2017 | COMPSAC | Modeling and Analysis of the Security Protocol in C-DAX Based on Process Algebra. | Ailun Liu, Huibiao Zhu, Yuan Fei, Shuangqing Xiang, Gang Lu, Wanling Xie |
| 2017 | FedCSIS | A Proof System for MDESL. | Jianyu Lu, Wanling Xie, Huibiao Zhu, Yuan Fei |