Open Stamp9 opened 2 weeks ago
Analyzing Ethereum Smart Contract Vulnerabilities at Scale Based on Inter-Contract Dependency https://www.techscience.com/CMES/v135n2/50148
TODLER: A Transaction Ordering Dependency anaLyzER - for Ethereum Smart Contracts https://ieeexplore.ieee.org/document/10190831
Towards Automated Security Analysis of Smart Contracts based on Execution Property Graph https://arxiv.org/abs/2305.14046
HoRStify: Sound Security Analysis of Smart Contracts https://ieeexplore.ieee.org/abstract/document/10221883
Related to smart contract dependencies.