Shangwei Lin

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 7

Top Topics

Mobile Platform

Malware Detection

Top Venues

ACM Comput. Surv.

IEEE Trans. Dependable Secur. Comput.

Publications

Xiuting Ge, Chunrong Fang, Quanjun Zhang, Daoyuan Wu, Bowen Yu, Qirui Zheng, An Guo, Shangwei Lin, Zhihong Zhao, Yang Liu, Zhenyu Chen
Pre-trained Model-based Actionable Warning Identification: A Feasibility Study. CoRR (2024)
Yanran Li, Yan Zheng, Yon Shin Teo, Shangwei Lin
Is AI testing beneficial for the manufacturer and social welfare? Optimal test strategy of a smart product. Expert Syst. Appl. 241 (2024)
Yean-Ru Chen, Si-Han Chen, Shangwei Lin
SMT Solver With Hardware Acceleration. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (6) (2023)
Haijun Wang, Ye Liu, Yi Li, Shangwei Lin, Cyrille Artho, Lei Ma, Yang Liu
Oracle-Supported Dynamic Exploit Generation for Smart Contracts. IEEE Trans. Dependable Secur. Comput. 19 (3) (2022)
Palina Tolmach, Yi Li, Shangwei Lin, Yang Liu, Zengxiang Li
A Survey of Smart Contract Formal Specification and Verification. ACM Comput. Surv. 54 (7) (2022)
Xinwen Hu, Yi Zhuang, Shangwei Lin, Fuyuan Zhang, Shuanglong Kan, Zining Cao
A security type verifier for smart contracts. Comput. Secur. 108 (2021)
Ruitao Feng, Yang Liu, Shangwei Lin
A Performance-Sensitive Malware Detection System on Mobile Platform. ICFEM (2019)