[1] 区块链智能合约缺陷检测（Vulnerability Detection for Smart Contracts）

[2] 嵌入式C程序缺陷检测（Vulnerability Detection for C Programs）

Google Scholar主页：‪Bin Yu‬ - ‪Google 学术搜索‬

Semantic Scholar主页：Bin Yu | Semantic Scholar

对以上方向感兴趣的优秀本科生，可与我联系（byu@xidian.edu.cn）。也欢迎联系保研或者考研相关事宜。