https://github.com/wtdcode/verite

Smart Contract Fuzzing Towards Profitable Vulnerabilities
https://github.com/wtdcode/verite

Last synced: about 1 month ago
JSON representation

Smart Contract Fuzzing Towards Profitable Vulnerabilities

• Host: GitHub
• URL: https://github.com/wtdcode/verite
• Owner: wtdcode
• Created: 2025-01-15T04:25:50.000Z (12 months ago)
• Default Branch: master
• Last Pushed: 2025-02-12T08:55:51.000Z (11 months ago)
• Last Synced: 2025-02-12T09:52:06.536Z (11 months ago)
• Size: 862 KB
• Stars: 29
• Watchers: 3
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: Readme.md

Awesome Lists containing this project

README

          
# VERITE

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

Camera-ready paper is [available](./paper.pdf).

## Cite

```bibtex

@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](./verite.jpeg)

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!"](https://www.hoyolab.com/article/21858357).