This content will become publicly available on July 12, 2024
Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode
- Award ID(s):
- 2115167
- NSF-PAR ID:
- 10434823
- Date Published:
- Journal Name:
- Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis
- Page Range / eLocation ID:
- 1244 to 1256
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
No document suggestions found
