A Privilege Separation Method for Security Commercial Transactions. - Yasha Chen; Jun Hu; Xinmao Gai; Yu Sun (e-Forensics, 2010)

Formal Definitions for Trust in Trusted Computing. - Xinmao Gai; Yong Li; Yasha Chen; Changxiang Shen (UIC/ATC Workshops, 2010)

A New Architecture for Cloud Computing System Protection. - Yasha Chen; Xinjie Zhao 001; Wen Li; Jianpeng Zhao (CBD, 2013)

Hardware Implementation of Security Association Lookup Device Based on RAM. - Dongfang Li; Yasha Chen; Shuai Zhang; Wei Shen; Guang Yang (ISPA/BDCloud/SocialCom/SustainCom, 2020)

(Semi) automatic Assertion Generation from Controlled Chinese Natural Language: A Practice in Aerospace Industry. - Shiyu Liu; Dongfang Li; Yasha Chen; Guang Yang (QRS Companion, 2021)