Login / Signup
Caichang Tu
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Principal Agent
Risk Analysis
Human Operators
Semi Automated
Top Venues
CoRR
USENIX Security Symposium
BIGCOM
</>
Publications
</>
Caichang Tu
,
Wansen Wang
,
Kaiwen Shi
,
Yan Xiong
,
Wenchao Huang
EOSVERIF: An Automated Analyzer for EOSIO Smart Contracts.
BIGCOM
(2023)
Wansen Wang
,
Wenchao Huang
,
Zhaoyi Meng
,
Yan Xiong
,
Fuyou Miao
,
Xianjin Fang
,
Caichang Tu
,
Renjie Ji
Automated Inference on Financial Security of Ethereum Smart Contracts.
USENIX Security Symposium
(2023)
Wansen Wang
,
Wenchao Huang
,
Zhaoyi Meng
,
Yan Xiong
,
Fuyou Miao
,
Xianjin Fang
,
Caichang Tu
,
Renjie Ji
An Automated Analyzer for Financial Security of Ethereum Smart Contracts.
CoRR
(2022)