v1v2 (latest)

Securify: Practical Security Analysis of Smart Contracts

4 June 2018

Martin Vechev

Papers citing "Securify: Practical Security Analysis of Smart Contracts"

50 / 186 papers shown

Title
Exposing Hidden Backdoors in NFT Smart Contracts: A Static Security Analysis of Rug Pull Patterns Chetan Pathade Shweta Hooli 20 0 0 09 Jun 2025
A Systematic Classification of Vulnerabilities in MoveEVM Smart Contracts (MWC) Selçuk Topal 29 0 0 25 May 2025
Understanding and Characterizing Obfuscated Funds Transfers in Ethereum Smart Contracts Zhang Sheng Tan Kia Quang Shen Wang Shengchen Duan Kai Li Yue Duan 60 0 0 16 May 2025
Insecurity Through Obscurity: Veiled Vulnerabilities in Closed-Source Contracts Sen Yang Kaihua Qin Aviv Yaish Fan Zhang 61 0 0 18 Apr 2025
OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine Jie Ma Ningyu He Jinwen Xi Mingzhe Xing Haoyu Wang Ying Gao Yinliang Yue 77 0 0 16 Apr 2025
Bridging Immutability with Flexibility: A Scheme for Secure and Efficient Smart Contract Upgrades Tahrim Hossain Sakib Hassan Faisal Haque Bappy Muhammad Nur Yanhaona T. S. Zaman Tariqul Islam 59 0 0 13 Apr 2025
SmartBugBert: BERT-Enhanced Vulnerability Detection for Smart Contract Bytecode Jiuyang Bu Wenkai Li Zongwei Li Zeng Zhang Xiaoqi Li 80 17 0 07 Apr 2025
Enhancing Smart Contract Vulnerability Detection in DApps Leveraging Fine-Tuned LLM Jiuyang Bu Wenkai Li Zongwei Li Zeng Zhang Xiaoqi Li 67 17 0 07 Apr 2025
MTVHunter: Smart Contracts Vulnerability Detection Based on Multi-Teacher Knowledge Translation Guokai Sun Yuan Zhuang Shuo Zhang Xiaoyu Feng Zhenguang Liu Liguo Zhang 71 0 0 24 Feb 2025
DeFiScope: Detecting Various DeFi Price Manipulations with LLM Reasoning Juantao Zhong Daoyuan Wu Ye Liu Maoyi Xie Yang Liu Yi Li Ning Liu AAML 82 1 0 17 Feb 2025
Following Devils' Footprint: Towards Real-time Detection of Price Manipulation Attacks Bosi Zhang Ningyu He Xiaohui Hu Kai Ma Haoyu Wang AAML 124 2 0 06 Feb 2025
Knowledge Migration Framework for Smart Contract Vulnerability Detection Luqi Wang Wenbao Jiang 117 0 0 15 Dec 2024
SCRUBD: Smart Contracts Reentrancy and Unhandled Exceptions Vulnerability Dataset Chavhan Sujeet Yashavant MitrajSinh Chavda Saurabh Kumar Amey Karkare Angshuman Karmakar 115 0 0 13 Dec 2024
Smart-LLaMA: Two-Stage Post-Training of Large Language Models for Smart Contract Vulnerability Detection and Explanation Lei Yu Shiqi Chen Hang Yuan Peng Wang Zhirong Huang Jing Zhang Chenjie Shen Fengjun Zhang Li Yang Jiajia Ma 77 4 0 09 Nov 2024
fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup Zihao Li Xinghao Peng Zheyuan He Xiapu Luo Ting Chen 91 1 0 16 Oct 2024
LLM-SmartAudit: Advanced Smart Contract Vulnerability Detection Zhiyuan Wei Jing Sun Zijiang Zhang Xianhao Zhang Meng Li Zhe Hou 75 5 0 12 Oct 2024
Drawing the boundaries between Blockchain and Blockchain-like systems: A Comprehensive Survey on Distributed Ledger Technologies Badr Bellaj Aafaf Ouaddah Noel Crespi Abdelatif Mezrioui Emmanuel Bertin 63 10 0 26 Sep 2024
Proxion: Uncovering Hidden Proxy Smart Contracts for Finding Collision Vulnerabilities in Ethereum Cheng-Kang Chen Wen-Yi Chu Muoi Tran Laurent Vanbever Hsu-Chun Hsiao 47 2 0 20 Sep 2024
Detection Made Easy: Potentials of Large Language Models for Solidity Vulnerabilities Md Tauseef Alam Raju Halder Abyayananda Maiti 70 3 0 15 Sep 2024
Analyzing the Impact of Copying-and-Pasting Vulnerable Solidity Code Snippets from Question-and-Answer Websites Konrad Weiss Christof Ferreira Torres Florian Wendland 60 1 0 11 Sep 2024
CrossInspector: A Static Analysis Approach for Cross-Contract Vulnerability Detection Xiao Chen 53 3 0 27 Aug 2024
A Survey on Blockchain-based Supply Chain Finance with Progress and Future directions Zhengdong Luo AI4CE 66 0 0 14 Aug 2024
Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysis Dalila Ressi Alvise Spanò Lorenzo Benetollo Carla Piazza M. Bugliesi Sabina Rossi 67 5 0 26 Jul 2024
FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols Hongbo Wen Hanzhi Liu Jiaxin Song Yanju Chen Wenbo Guo Yu Feng AAML 49 3 0 08 Jul 2024
Vulnerability-Hunter: An Adaptive Feature Perception Attention Network for Smart Contract Vulnerabilities Yizhou Chen 51 2 0 07 Jul 2024
Dual-view Aware Smart Contract Vulnerability Detection for Ethereum Jiacheng Yao Maolin Wang Wanqi Chen Chengxiang Jin Jiajun Zhou Shanqing Yu Qi Xuan 77 0 0 29 Jun 2024
I Experienced More than 10 DeFi Scams: On DeFi Users' Perception of Security Breaches and Countermeasures Mingyi Liu J. Huh HyungSeok Han Jaehyuk Lee Jihae Ahn Frank Li Hyoungshick Kim Taesoo Kim 29 1 0 22 Jun 2024
Defying the Odds: Solana's Unexpected Resilience in Spite of the Security Challenges Faced by Developers Sébastien Andreina Tobias Cloosters Lucas Davi Jens-Rene Giesen Marco Gutfleisch Ghassan O. Karame Alena Naiakshina Houda Naji LRM 36 1 0 19 Jun 2024
DeFiGuard: A Price Manipulation Detection Service in DeFi using Graph Neural Networks Dabao Wang Bang Wu Xingliang Yuan Lei Wu Yajin Zhou Helei Cui 47 3 0 17 Jun 2024
SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection J. Su Jiachi Chen Zhiyuan Fang Xingwei Lin Yutian Tang Zibin Zheng 52 0 0 14 Jun 2024
PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation Ye Liu Yue Xue Daoyuan Wu Yuqiang Sun Yi Li Miaolei Shi Yang Liu 98 27 0 04 May 2024
Improving Smart Contract Security with Contrastive Learning-based Vulnerability Detection Yizhou Chen Zeyu Sun Zhihao Gong Dan Hao AAML 67 16 0 27 Apr 2024
Vulnerabilities of smart contracts and mitigation schemes: A Comprehensive Survey Wejdene Haouari A. Hafid Marios Fokaefs 52 3 0 28 Mar 2024
Uncover the Premeditated Attacks: Detecting Exploitable Reentrancy Vulnerabilities by Identifying Attacker Contracts Shuo Yang Jiachi Chen Mingyuan Huang Zibin Zheng Yuan Huang 70 11 0 28 Mar 2024
ACFIX: Guiding LLMs with Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts Lyuye Zhang Kaixuan Li Kairan Sun Daoyuan Wu Ye Liu Haoye Tian Yang Liu 98 24 0 11 Mar 2024
Unity is Strength: Enhancing Precision in Reentrancy Vulnerability Detection of Smart Contract Analysis Tools Zexu Wang Jiachi Chen Zibin Zheng Peilin Zheng Yu Zhang Weizhe Zhang 56 6 0 14 Feb 2024
Architectural Design for Secure Smart Contract Development Myles Lewis Chris S. Crawford 72 1 0 03 Jan 2024
Vulnerability Scanners for Ethereum Smart Contracts: A Large-Scale Study Christoph Sendner Lukas Petzi Jasper Stang Alexandra Dmitrienko 49 2 0 27 Dec 2023
MuFuzz: Sequence-Aware Mutation and Seed Mask Guidance for Blockchain Smart Contract Fuzzing Peng Qian Hanjie Wu Zeren Du Turan Vural Dazhong Rong Yanbin Wang Lun Zhang Yanbin Wang Jianhai Chen Qinming He 79 5 0 07 Dec 2023
Analysis of Information Propagation in Ethereum Network Using Combined Graph Attention Network and Reinforcement Learning to Optimize Network Efficiency and Scalability Stefan Kambiz Behfar Jon Crowcroft GNN 31 0 0 02 Nov 2023
A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts Zhiyuan Wei Jing Sun Zijian Zhang Xianhao Zhang Meng Li Liehuang Zhu ELM 54 2 0 31 Oct 2023
Blockchain-Envisioned UAV-Aided Disaster Relief Networks: Challenges and Solutions Yuntao Wang Qinnan Hu Zhendong Li Zhou Su Ruidong Li Xiang Zou Jian Zhou 47 0 0 08 Oct 2023
Large Language Model-Powered Smart Contract Vulnerability Detection: New Perspectives Sihao Hu Tiansheng Huang Fatih İlhan Selim Furkan Tekin Ling Liu 95 56 0 02 Oct 2023
Unmasking Role-Play Attack Strategies in Exploiting Decentralized Finance (DeFi) Systems Weilin Li Zhun Wang Chenyu Li Heying Chen Taiyu Wong Pengyu Sun Yufei Yu Chao Zhang AAML 76 2 0 02 Oct 2023
VulnSense: Efficient Vulnerability Detection in Ethereum Smart Contracts by Multimodal Learning with Graph Neural Network and Language Model Phan The Duy Nghi Hoang Khoa N. H. Quyen Le Cong Trinh V. Kiên Trinh Minh Hoang V. Pham 48 10 0 15 Sep 2023
Fuzz on the Beach: Fuzzing Solana Smart Contracts Sven Smolka Jens-Rene Giesen Pascal Winkler Oussama Draissi Lucas Davi Ghassan O. Karame Klaus Pohl 49 16 0 06 Sep 2023
Empirical Review of Smart Contract and DeFi Security: Vulnerability Detection and Automated Repair Peng Qian Rui Cao Zhenguang Liu Wenqing Li Ming Li Lun Zhang Yufeng Xu Jianhai Chen Qinming He 93 8 0 05 Sep 2023
Account Abstraction, Analysed Qin Wang Shiping Chen 60 5 0 01 Sep 2023
GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis Yuqiang Sun Daoyuan Wu Yue Xue Hangbo Liu Haijun Wang Zhengzi Xu Xiaofei Xie Yang Liu 64 96 0 07 Aug 2023
SoK: Design, Vulnerabilities, and Security Measures of Cryptocurrency Wallets Yimika Erinle Yathin Kethepalli Yebo Feng Jiahua Xu 124 5 0 24 Jul 2023