Smart contract security Papers---智能合约安全论文

友情提示：原创博客，禁止转载，谢谢配合

1. NDSS25_PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
2. ICSE2025_Combining Fine-tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications
3. ICDE2024_MuFuzz: Sequence-Aware Mutation and Seed Mask Guidance for Blockchain Smart Contract Fuzzing
4. TSE2024_DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects
5. NDSS2024_Not your Type! Detecting Storage Collision Vulnerabilities in Ethereum Smart Contracts
6. NDSS2024_Abusing the Ethereum Smart Contract Verification Services for Fun and Profit
7. AsiaCCS2024_POSTER: Multi-Block Fusion Mechanism for Multi-label Vulnerability Detection in Smart Contracts
8. ICSE24_GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by
   Combining GPT with Program Analysis
9. ICSE24_PrettySmart: Detecting Permission Re-delegation Vulnerability
   for Token Behaviors in Smart Contracts
10. ICSE2024_Verifying Declarative Smart Contracts
11. ICSE2024_Revealing Hidden Threats: An Empirical Study of Library Misuse in Smart Contracts
12. ICSE2024_Safeguarding DeFi Smart Contracts against Oracle Deviations
13. ICSE2024(com)_ParSE: Efficient Detection of Smart Contract Vulnerabilities via Parallel and Simplified Symbolic Execution
14. ICSE2024_Improving Smart Contract Security with Contrastive Learning-based Vulnerability Detection
15. ICSE24_SCVHunter: Smart Contract Vulnerability Detection Based on Heterogeneous Graph Attention Network
16. INFOCOM2024_ConFuzz_Towards_Large_Scale_Fuzz_Testing_of_Smart_Contracts_in_Ethereum
17. TR2024_Ponzi Scheme Detection in Smart Contract via Transaction Semantic Representation Learning
18. TR2024_Detect Defects of Solidity Smart Contract Based on the Knowledge Graph
19. TOSEM2024_Smart Contract Code Repair Recommendation based on Reinforcement Learning and Multi-metric Optimization
20. TOSEM2024_sGuard+: Machine Learning Guided Rule-Based Automated Vulnerability Repair on Smart Contracts
21. TOSEM2024_When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?
22. TSE2024_ContractCheck: Checking Ethereum Smart Contracts in Fine-Grained Level
23. TKDE2024_Smart Contract Vulnerability Detection Based on Automated Feature Extraction and Feature Interaction
24. SP2023_Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts
25. NDSS2023_POSE: Practical Off-chain Smart Contract Execution
26. NDSS2023_Smarter Contracts: Detecting Vulnerabilities in Smart Contracts with Deep Transfer Learning
27. Security2023_Your Exploit is Mine: Instantly Synthesizing Counterattack Smart Contract
28. Security2023_Smart Learning to Find Dumb Contracts
29. Security2023_Confusum Contractum: Confused Deputy Vulnerabilities in Ethereum Smart Contracts
30. Security2023_Panda: Security Analysis of Algorand Smart Contracts
31. Security2023_Proxy Hunting: Understanding and Characterizing Proxy-based Upgradeable Smart Contracts in Blockchains
32. ICSE2023_Turn the Rudder: A Beacon of Reentrancy Detection for Smart Contracts on Ethereum
33. ICSE2023_Demystifying Exploitable Bugs in Smart Contracts
34. ICSE2023_AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities
35. ISSTA2023_ItyFuzz: Snapshot-Based Fuzzer