Login / Signup
SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection.
Jianzhong Su
Jiachi Chen
Zhiyuan Fang
Xingwei Lin
Yutian Tang
Zibin Zheng
Published in:
CoRR (2024)
Keyphrases
</>
fine grained
coarse grained
access control
massively parallel
tightly coupled
detection algorithm
oracle database
databases
supply chain
user intent