Work

SmartGuard: Making Prediction Verifiable Through Transaction Sequences for Smart Contract Vulnerability Detection