Poster · Sydney
Reinforcement Learning-Guided Symbolic Execution for Efficient and Exploitable Smart Contract Analysis
- When
- Wed 9 Dec 2026, 17:00–20:00 AEDT
- Where
- Hall 1-4, ICC Sydney
Exhibition Centre, Level 1 - Session
- Sydney Poster Session 4
- Authors
- Zhaoxuan Li, Ziming Zhao, Siqi Lu, Rui Zhang, Wenhao Li, Xiaofei Yue, Fan T Zhang
- Organisations
- Chinese Academy of Sciences, Zhejiang University, Information Engineering University
- QRS classification
- Reinforcement learning