1. Taming callbacks for smart contract modularity;Albert;Proc. ACM Program. Lang.,2020
2. A minimal core calculus for solidity contracts;Bartoletti,2019
3. Combine sliced joint graph with graph neural networks for smart contract vulnerability detection;Cai;J. Syst. Softw.,2023
4. Constantinople enables new reentrancy attack;ChainSecurity,2019
5. SODA: A generic online detection framework for smart contracts;Chen,2020