会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
雪溯
总之心情不好的话大概就会来这边做两道OJ,此处顺便储存部分笔记
开启论文记录化工程中,会陆续把已经读过的论文转化为笔记存下来
博客园
首页
新随笔
联系
订阅
管理
2023年1月6日
Proj Unknown Paper Reading: SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
摘要: Abstract 本文: SAILFISH TASK: find state-inconsistency bugs in smart contracts Method: a hybrid approach, 1. a lightweight exploration phase 2. 一种新的valu
阅读全文
posted @ 2023-01-06 20:37 雪溯
阅读(83)
评论(0)
推荐(0)
编辑
公告