Hu X,庄毅.PHRiMA: A Permission-Based Hybrid Risk Management Framework for Android Apps.[J]:Computers & Security,2020

zy,zy,Hu, Xinwen,Zhang, Fuyuan.A security modeling and verification method of embedded software based on Z and MARTE:Comput Secur,2020

潘家晔,庄毅.BAHK: Flexible Automated Binary Analysis Method with the Assistance of Hardware and System Kernel.[J]:Security and Communication Networks

倪思如,庄毅.A formal model and risk assessment method for security-critical real-time embedded systems.[J]:Computers & Security

zy,zy,Pan, Jiaye.PMCAP: A Threat Model of Process Memory Data on the Windows Operating System:SECURITY AND COMMUNICATION NETWORKS,2017

汪自旺,庄毅.A Mutual Authentication Based Remote Attestation Scheme for Embedded Systems:IET Information Security

zy,zy,Pan, Jiaye,Sun, Binglin,Nepal, Surya.Efficient and Transparent Method for Large-Scale TLS Traffic Analysis of Browsers and Analogous P...:Secur. Commun. Networks,2019

zy,zy,Hu, Xinwen,Cao Zi Ning,Ye, Tong,F70206499.Modeling and Validation for Embedded Software Confidentiality and Integrity:2017 12TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (IEEE ISKE),2017

zy,zy,Hou, Guomin,Pan, Jiaye.An Enhancement Method for Android Permission Mechanism based on Context:PROCEEDINGS OF THE 2017 2ND INTERNATIONAL CONFERENCE ON AUTOMATION, MECHANICAL CONTROL AND COMPUTATIONAL ENGINEERING (AMCCE 2017),2017

zy,zy,Ding, Fei.Ego-network probabilistic graphical model for discovering on-line communities:APPLIED INTELLIGENCE,2018