Chengxuan Zhang

Orcid: 0000-0003-0186-9560

According to our database¹, Chengxuan Zhang authored at least 1 paper in 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Automated Invariant Generation for Solidity Smart Contracts.

[DOI]

IEEE Trans. Dependable Secur. Comput., 2025