ParSE: Efficient Detection of Smart Contract Vulnerabilities via Parallel and Simplified Symbolic Execution.
Saved in:
| Title: | ParSE: Efficient Detection of Smart Contract Vulnerabilities via Parallel and Simplified Symbolic Execution. |
|---|---|
| Authors: | He, Long1, helong0102@163.com, Zhao, Xiangfu1, xiangfuzhao@gmail.com, Wang, Yichen1, wangyichen9090@gmail.com |
| Source: | ICSE: International Conference on Software Engineering; 2024, p272-273, 2p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| DOI: | 10.1145/3639478.3643066 |
|---|
