孙玉强 0001
人员信息
附属: 新加坡南洋理工大学
其他同名人员
其他同名人员
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年-今天
2024 【c4】 孙玉强 , 吴道元 , 岳雪 , 韩流(Han Liu) , 王海军(Haijun Wang) , 徐正子 , 谢晓飞 , 杨柳 :
GPTScan:结合GPT和程序分析检测智能合约中的逻辑漏洞。 集成电路 2024 : 166:1-166:13 [i5] 孙玉强 , 吴道元 , 岳雪 , 韩流(Han Liu) , 魏玛 , 张柳叶(Lyuye Zhang) , 苗栗石 , 杨柳 :
LLM4Vuln:解耦和增强LLM脆弱性推理的统一评估框架。 CoRR公司 abs/2401.16185 ( 2024 ) [i4] 魏玛 , 吴道元 , 孙玉强 , 王天文 , 刘尚清 , 张健(Jian Zhang) , 岳雪 , 杨柳 :
结合精细调整和基于LLM的代理进行直观智能合同审计和证明。 CoRR公司 abs/2403.16073 ( 2024 ) [i3] 叶柳 , 岳雪 , 吴道元 , 孙玉强 , 李毅 , 苗栗石 , 杨柳 :
PropertyGPT:通过检索增强属性生成对智能合同进行LLM驱动的形式验证。 CoRR公司 abs/2405.02580 ( 2024 ) 2023 【c3】 孙玉强 , 徐正子 , 刘成伟 , 张怡然 , 杨柳 :
谁是真正的英雄? 通过多维数据集成测量开发人员贡献。 ASE公司 2023 : 825-836 [i2] 孙玉强 , 吴道元 , 岳雪 , 韩流(Han Liu) , 王海军(Haijun Wang) , 徐正子 , 谢晓飞 , 杨柳 :
当GPT遇到程序分析:智能检测GPTScan中的智能合约逻辑漏洞。 CoRR公司 abs/2308.03314 ( 2023 ) [i1] 孙玉强 , 徐正子 , 刘成伟 , 张怡然 , 杨柳 :
谁是真正的英雄? 通过多维数据集成测量开发人员贡献。 CoRR公司 abs/2308.08991 ( 2023 ) 2022 【c2】 孙玉强 , 李敦翰 , 吴一新 , 雪林丸 , 程晃 :
WAIN:自动Web应用程序标识和命名方法。 网构 2022 : 37-44 2021 【c1】 王培然 , 孙玉强 , 程晃 , 宇通杜 , 梁根培 , 冈龙(Gang Long) :
MineDetector:使用静态方法的JavaScript浏览器端加密挖掘检测。 CSE公司 2021 : 87-93
2010 – 2019
2019 [j1] 吴一新 , 孙玉强 , 程晃 , 彭佳 , 刘路平 :
使用Web日志中的机器学习进行基于会话的Webshell检测。 安全。 Commun公司。 网络 2019 : 3093809:1-3093809:11 ( 2019 )
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)