Demo: Enhancing Smart Contract Security Comprehensively through Dynamic Symbolic Execution.

Zhaoxuan Li, Ziming Zhao, Wenhao Li, Rui Zhang, Rui Xue, Siqi Lu, Fan Zhang

Browse the full CCS paper archive.