상세 보기
SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution
SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution
- 제목
- SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution
- 제목 (타언어)
- SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution
- 저자
- Hakjoo Oh
- 발행일
- 2021-08-11
- 학회명
- Security 2021: 30th USENIX Security Symposium
- 개최국가
- 미국
- 학회 개최일
- 2021-08-11 ~ 2021-08-13