Skip to content

chrono-raven6i90/verite

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

8 Commits
 
 
 
 
 
 
 
 

Repository files navigation

VERITE

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

Camera-ready paper is available.

The slides of presentation is available.

The dataset we used is here.

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"?

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!".

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published