Liveness Reasoning with Isabelle/HOL. - Jinshuang Wang; Huabing Yang; Xingyuan Zhang (TPHOLs, 2009)

Formal Threat Analysis for Ad-Hoc Routing Protocol: Modelling and Checking the Sybil Attack. - Jing-Jing Gui; Jinshuang Wang; Yusen Zhang; Tao Zhang (Intell. Autom. Soft Comput., 2011)

AIB-SPMDM: A Smartphone Malware Detection Model Based on Artificial Immunology. - Min Zhao; Tao Zhang; Jinshuang Wang; Zhijian Yuan (ICICA (2), 2012)

A Smartphone Malware Detection Framework Based on Artificial Immunology. - Min Zhao; Tao Zhang; Jinshuang Wang; Zhijian Yuan (J. Networks, 2013)

A Scenario-Based Approach to Predicting Software Defects Using Compressed C4.5 Model. - Biwen Li; Beijun Shen; Jun Wang; Yuting Chen 001; Tao Zhang; Jinshuang Wang (COMPSAC, 2014)

Research and Implementation of Cross-site Scripting Defense Method Based on Moving Target Defense Technology. - Ping Chen; Han Yu; Min Zhao; Jinshuang Wang (ICSAI, 2018)

AndrOpGAN: An Opcode GAN for Android Malware Obfuscations. - Xuetao Zhang; Jinshuang Wang; Meng Sun; Yao Feng (ML4CS (1), 2020)

Study on the throwing mechanism and loss characteristics of three-dimensional disturbance comb. - Jinwu Wang; Changsu Xu; Liquan Tian; Jinshuang Wang; Han Tang (Comput. Electron. Agric., 2022)