Login / Signup
GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis.
Yuqiang Sun
Daoyuan Wu
Yue Xue
Han Liu
Haijun Wang
Zhengzi Xu
Xiaofei Xie
Yang Liu
Published in:
ICSE (2024)
Keyphrases
</>
supply chain
automatic detection
logic programming
information security
proof theory
modal logic
classical logic
asynchronous circuits
decision making
digital circuits
real time
model checking
combining multiple
nonmonotonic logics
sound and complete axiomatization