| 2022 | ICTAI | RETSR: An Effective Review-Enhanced and Time-Aware Sequential Recommendation Framework. | Weijin Wang, Jin Li, Yilei Wang, Zhongwang Zhang |
| 2017 | ICICS | Formal Analysis of a TTP-Free Blacklistable Anonymous Credentials System. | Weijin Wang, Jingbin Liu, Yu Qin, Dengguo Feng |
| 2017 | SecureComm | An Efficient Trustzone-Based In-application Isolation Schema for Mobile Authenticators. | Yingjun Zhang, Yu Qin, Dengguo Feng, Bo Yang, Weijin Wang |
| 2016 | ICICS | Automated Security Proof of Cryptographic Support Commands in TPM 2.0. | Weijin Wang, Yu Qin, Bo Yang, Yingjun Zhang, Dengguo Feng |
| 2015 | CCS | Formal Analysis of Enhanced Authorization in the TPM 2.0. | Jianxiong Shao, Yu Qin, Dengguo Feng, Weijin Wang |
| 2015 | ICICS | TMSUI: A Trust Management Scheme of USB Storage Devices for Industrial Control Systems. | Bo Yang, Yu Qin, Yingjun Zhang, Weijin Wang, Dengguo Feng |
| 2014 | ACISP | ExBLACR: Extending BLACR System. | Weijin Wang, Dengguo Feng, Yu Qin, Jianxiong Shao, Li Xi, XiaoBo Chu |
| 2014 | ISPEC | Automated Proof for Authorization Protocols of TPM 2.0 in Computational Model. | Weijin Wang, Yu Qin, Dengguo Feng |