Caichang Tu

According to our database, Caichang Tu authored at least 3 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Automated Inference on Financial Security of Ethereum Smart Contracts.

Wansen Wang, Wenchao Huang, Zhaoyi Meng, Yan Xiong, Fuyou Miao, Xianjin Fang, Caichang Tu, Renjie Ji

Proceedings of the 32nd USENIX Security Symposium, 2023

EOSVERIF: An Automated Analyzer for EOSIO Smart Contracts.

Caichang Tu, Wansen Wang, Kaiwen Shi, Yan Xiong, Wenchao Huang

Proceedings of the 9th International Conference on Big Data Computing and Communications, 2023

2022

An Automated Analyzer for Financial Security of Ethereum Smart Contracts.

Wansen Wang, Wenchao Huang, Zhaoyi Meng, Yan Xiong, Fuyou Miao, Xianjin Fang, Caichang Tu, Renjie Ji

CoRR, 2022