VERITE

This repo will contain the materials for our FSE'25 paper "Smart Contract Fuzzing Towards Profitable Vulnerabilities".

Camera-ready paper is available.

Cite

@inproceedings{verite,
    author = {Ziqiao Kong and Cen Zhang and Maoyi Xie and Ming Hu and Yue Xue and Ye Liu and Haijun Wang and Yang Liu},
    title = {Smart Contract Fuzzing Towards Profitable Vulnerabilities},
    booktitle = {The ACM International Conference on the Foundations of Software Engineering (FSE)},
    year = {2025},
}

Why "VERITE"?

One of the goals when building the fuzzer is ruling out any possible false positives while revealing the maximum profits. This exactly matches "Your credible source of the unbelievable truth!".