×
验证码:
换一张
忘记密码?
记住我
×
登录
中文
|
English
学校主页
|
图书馆
登录
注册
首页
学术成果
学院
学者
数据分析
检索
ALL
ORCID
题名
作者
发表日期
关键词
文献类型
原始文献类型
收录类别
出版者
状态
学院
个人在本单位外知识产出
4
作者
王丹
2
文献类型
期刊论文
3
会议论文
1
发表日期
2025
1
2023
1
2021
2
语种
英语English
4
收录类别
SCIE
1
资助机构
关键词
Ethereum
1
Program analysis
1
cryptography
1
data flow analysis
1
defect detection
1
range analysis
1
更多...
出处
ACM International Conferenc...
1
Cell Discovery
1
IEEE Transactions on Softwa...
1
Medicine in Microecology
1
资助项目
×
知识图谱
反馈留言
浏览/检索结果:共4条,第1-4条
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
WOS被引频次升序
WOS被引频次降序
期刊影响因子升序
期刊影响因子降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
作者升序
作者降序
When Crypto Fails: Demystifying Cryptographic Defects in Ethereum Smart Contracts
期刊论文
IEEE Transactions on Software Engineering,2025, 卷号: 51, 期号: 5, 页码: 1381-1398
作者:
Zhang,Jiashuo
;
Chen,Jiachi
;
Shen,Yiming
;
Zhang,Tao
;
Wang,Yanlin
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2025/08/05
cryptography
defect detection
Ethereum
smart contract
static analysis
A variable value range analysis method based on path propagation
会议论文
ACM International Conference Proceeding Series, chn,Wuhan, 2023-09-24——2023-09-24
作者:
Zhang,Tao
;
Chen,Xiarun
;
Chen,Zhong
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2025/08/05
data flow analysis
Program analysis
range analysis
A genome-wide association study for gut metagenome in Chinese adults illuminates complex diseases
期刊论文
Cell Discovery,2021, 卷号: 7, 期号: 1
作者:
Liu, Xiaomin
;
Tang, Shanmei
;
Zhong, Huanzi
;
Tong, Xin
;
Jie, Zhuye
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2025/07/18
A transomic cohort as a reference point for promoting a healthy human gut microbiome
期刊论文
Medicine in Microecology,2021, 卷号: 8
作者:
Jie, Zhuye
;
Liang, Suisha
;
Ding, Qiuxia
;
Li, Fei
;
Tang, Shanmei
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2025/07/18