SmartCheck: static analysis of ethereum smart contracts

已完结

文献求助详情

标题	SmartCheck: static analysis of ethereum smart contracts SmartCheck：以太坊智能合约的静态分析相关领域坚固性利用计算机科学计算机安全黑客步伐智能合约脆弱性（计算）小工具领域（数学）块链程序设计语言纯数学地理数学大地测量学算法
网址	http://dx.doi.org/10.1145/3194113.3194115
DOI	10.1145/3194113.3194115 doi
求助人	zzbChina 在 2025-12-14 16:37:33 发布自福建，悬赏 10 积分
下载	求助已完成，仅限求助人下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

American Society of Mechanical Engineers (ASME)

上个求助

下个求助

提交工单

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

学术共进，科研互通

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

2025年影响因子查询已上线 (2025-6-18)

更新

PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: bkagyin上传了应助文件

刚刚; 张楠发布了新的文献求助10

2秒前; 润德完成签到，获得积分10

3秒前; pop发布了新的文献求助10

3秒前; Cccsy完成签到，获得积分10

4秒前; 青鸟发布了新的文献求助10

7秒前; 思源的应助被就学一点点采纳，获得10

16秒前; 西风漂流的应助被南风采纳，获得30

16秒前; 科研通AI6上传了应助文件

17秒前; CipherSage上传了应助文件

22秒前; wlh完成签到，获得积分10

23秒前; ceeray23发布了新的文献求助20

27秒前; 搜集达人上传了应助文件

27秒前; 里旺完成签到，获得积分10

31秒前; tian发布了新的文献求助10

31秒前; 迷路的沛蓝完成签到，获得积分10

32秒前; wanidamm完成签到，获得积分10

34秒前; 鱼乐乐完成签到，获得积分10

34秒前; 端庄东蒽发布了新的文献求助10

42秒前; 量子星尘发布了新的文献求助10

50秒前; 科研大王完成签到，获得积分10

51秒前; www发布了新的文献求助10

56秒前; 3655001Liu发布了新的文献求助10

1分钟前; 研友_8RyzBZ完成签到，获得积分20

1分钟前; 北海完成签到，获得积分10

1分钟前; moaner完成签到，获得积分10

1分钟前; 馨雨清滢发布了新的文献求助30

1分钟前; 3655001Liu完成签到，获得积分10

1分钟前; 雪白完成签到，获得积分10

1分钟前; 科研通AI6的应助被重重采纳，获得30

1分钟前; 不想写作业发布了新的文献求助10

1分钟前; 科研通AI6上传了应助文件

1分钟前; 浮游的应助被科研通管家采纳，获得10

1分钟前; 浮游的应助被科研通管家采纳，获得10

1分钟前; 浮游的应助被科研通管家采纳，获得10

1分钟前; 浮游的应助被科研通管家采纳，获得10

1分钟前; 浮游的应助被科研通管家采纳，获得10

1分钟前; EDTA完成签到，获得积分10

1分钟前; 1454727550完成签到，获得积分10

1分钟前; 英俊的铭的应助被端庄东蒽采纳，获得10

1分钟前