Libin Xia

According to our database, Libin Xia authored at least 4 papers between 2020 and 2024.

Collaborative distances:

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

2024

ContractTinker: LLM-Empowered Vulnerability Repair for Real-World Smart Contracts.

Che Wang, Jiashuo Zhang, Jianbo Gao, Libin Xia, Zhi Guan, Zhong Chen

CoRR, 2024

Cryptcoder: An Automatic Code Generator for Cryptographic Tasks in Ethereum Smart Contracts.

Libin Xia, Jiashuo Zhang, Che Wang, Zezhong Tan, Jianbo Gao, Zhi Guan, Zhong Chen

Proceedings of the IEEE International Conference on Software Analysis, 2024

2023

DIDAPPER: A Practical and Auditable On-Chain Identity Service for Decentralized Applications.

Libin Xia, Jiashuo Zhang, Xihan Zhang, Yue Li, Jianbo Gao, Zhi Guan, Zhong Chen

Proceedings of the IEEE International Conference on Decentralized Applications and Infrastructures, 2023

2020

Dynamic Evolution, Synchronization and Multistability in an Advertising Game Model with Homogeneous Products and Spillover Effect.

Wenrui Wang, Wei Zhou, Libin Xia

Int. J. Bifurc. Chaos, 2020