SciHub
文献互助
期刊查询
一搜即达
科研导航
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
清晨好,您是今天最早来到科研通的研友!由于当前在线用户较少,发布求助请尽量完整的填写文献信息,科研通机器人24小时在线,伴您科研之路漫漫前行!
研友_Lw4kGn
Lv1
50 积分
2020-07-30 加入
最近求助
最近应助
互助留言
Securify
3年前
已完结
VerX: Safety Verification of Smart Contracts
3年前
已完结
SmartCheck: Static Analysis of Ethereum Smart Contracts
3年前
已完结
Security Assurance for Smart Contract
3年前
已完结
A formal verification tool for Ethereum VM bytecode
3年前
已完结
Formal Verification of Blockchain Smart Contract Based on Colored Petri Net Models
3年前
已完结
Formal Verification of Smart Contracts Based on Users and Blockchain Behaviors Models
3年前
已完结
Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities
3年前
已完结
Clairvoyance
3年前
已完结
VULTRON: Catching Vulnerable Smart Contracts Once and for All
3年前
已完结
没有进行任何应助
谢谢!
3年前
文献已找到
3年前
谢谢
3年前
thanks
3年前
最近帖子
最近评论
没有发布任何帖子
加油!!!
3年前
非常感谢!!!
3年前