科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
I
Ioannis Sfyrakis
teesside university
6
H指数
21
论文数
198
被引数
0
相关解读
订阅
收录论文
2
发表时间
发表时间
IF
被引数
Evaluating Large Language Models for Symbolic Security Protocol Analysis
评估大型语言模型在符号安全协议分析中的应用
Electronics
IF
2.6
2026-09-13
0
OA
AI
Paolo Modesti; Syed Ahmed; Ioannis Sfyrakis; Derek Enodolomwanyi
分享
收藏
LightCross: A Lightweight Smart Contract Vulnerability Detection Tool
LightCross: 一种轻量级智能合约漏洞检测工具
Computers 2025, Vol. 14, Page 369
IF
4.2
2025-09-27
0
OA
AI
Ioannis Sfyrakis; Paolo Modesti; Lewis Golightly; Minaro Ikegima
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
P
Paolo Modesti
H 指数: 9 · 论文数: 36
M
Minaro Ikegima
H 指数: 0 · 论文数: 2
G
Golightly, Lewis
H 指数: 0 · 论文数: 1
S
Syed Ahmed
H 指数: 0 · 论文数: 1
D
Derek Enodolomwanyi
H 指数: 0 · 论文数: 1
已加载全部