v1v2v3 (latest)

Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts

8 July 2019

Papers citing "Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts"

50 / 75 papers shown

Title
Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models Chanuka Wijayakoon Hai Dong H.M.N. Dilum Bandara Z. Tari Anurag Soin AILaw ELM 55 0 0 01 Jun 2025
A Systematic Classification of Vulnerabilities in MoveEVM Smart Contracts (MWC) Selçuk Topal 40 0 0 25 May 2025
LLM-BSCVM: An LLM-Based Blockchain Smart Contract Vulnerability Management Framework Yanli Jin Chunpei Li Peng Fan Peng Liu Xianxian Li Chen Liu Wangjie Qiu 39 0 0 23 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
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
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
Detecting Functional Bugs in Smart Contracts through LLM-Powered and Bug-Oriented Composite Analysis Binbin Zhao Xingshuang Lin Yuan Tian Saman Zonouz Na Ruan Jiliang Li R. Beyah Shouling Ji 95 1 0 31 Mar 2025
A Formally Verified Lightning Network Grzegorz Fabiański Rafał Stefański Orfeas Stefanos Thyfronitis Litos 81 1 0 10 Mar 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 85 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
SmartInv: Multimodal Learning for Smart Contract Invariant Inference Sally Junsong Wang Kexin Pei Junfeng Yang 99 14 0 14 Nov 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 82 4 0 09 Nov 2024
COBRA: Interaction-Aware Bytecode-Level Vulnerability Detector for Smart Contracts Wenkai Li Xiaoqi Li Zongwei Li Yuqing Zhang 132 19 0 28 Oct 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 77 3 0 15 Sep 2024
Detecting Buggy Contracts via Smart Testing Sally Junsong Wang Jianan Yao Kexin Pei Hidedaki Takahashi Junfeng Yang 61 2 0 06 Sep 2024
CrossInspector: A Static Analysis Approach for Cross-Contract Vulnerability Detection Xiao Chen 58 3 0 27 Aug 2024
SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries Ningyu He Zhehao Zhao Hanqin Guan Jikai Wang Shuo Peng Ding Li Haoyu Wang Xiangqun Chen Yao Guo 39 4 0 16 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 69 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
Building Call Graph of WebAssembly Programs via Abstract Semantics Mattia Paccamiccio Franco Raimondi Michele Loreti 38 0 0 08 Jul 2024
Vulnerability-Hunter: An Adaptive Feature Perception Attention Network for Smart Contract Vulnerabilities Yizhou Chen 51 2 0 07 Jul 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 36 1 0 22 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
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
Automated Attack Synthesis for Constant Product Market Makers Sujin Han Jinseo Kim Sung-Ju Lee Insu Yun 90 0 0 08 Apr 2024
Vulnerabilities of smart contracts and mitigation schemes: A Comprehensive Survey Wejdene Haouari A. Hafid Marios Fokaefs 54 3 0 28 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 65 6 0 14 Feb 2024
A security framework for Ethereum smart contracts Antonio López Vivar A. L. Sandoval Orozco Luis Javier Garcia Villalba 22 31 0 05 Feb 2024
Vulnerability Scanners for Ethereum Smart Contracts: A Large-Scale Study Christoph Sendner Lukas Petzi Jasper Stang Alexandra Dmitrienko 51 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
Survey on Quality Assurance of Smart Contracts Zhiyuan Wei Jing Sun Zijian Zhang Xianhao Zhang Xiaoxuan Yang Liehuang Zhu 99 8 0 01 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 61 2 0 31 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 78 2 0 02 Oct 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 106 8 0 05 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 77 96 0 07 Aug 2023
WASMixer: Binary Obfuscation for WebAssembly Shangtong Cao Ningyu He Yao Guo Hao Wang 22 2 0 06 Aug 2023
G-Scan: Graph Neural Networks for Line-Level Vulnerability Identification in Smart Contracts Christoph Sendner Ruisi Zhang Alexander Hefter Alexandra Dmitrienko F. Koushanfar 54 1 0 17 Jul 2023
Abusing the Ethereum Smart Contract Verification Services for Fun and Profit Pengxiang Ma Ningyu He Yuhua Huang Haoyu Wang Xiapu Luo 55 5 0 02 Jul 2023
ItyFuzz: Snapshot-Based Fuzzer for Smart Contract Chaofan Shou Shangyin Tan Koushik Sen 51 62 0 29 Jun 2023
Do you still need a manual smart contract audit? Isaac David Liyi Zhou Kaihua Qin Basel Alomair Lorenzo Cavallaro Arthur Gervais 82 51 0 21 Jun 2023
SourceP: Detecting Ponzi Schemes on Ethereum with Source Code Pengcheng Lu Liang Cai Keting Yin AI4TS 82 4 0 02 Jun 2023
Blockchain Large Language Models Y. Gai Liyi Zhou Kaihua Qin Basel Alomair Arthur Gervais 65 26 0 25 Apr 2023
Schooling to Exploit Foolish Contracts Tamer Abdelaziz Aquinas Hobor 80 1 0 21 Apr 2023
Smart Learning to Find Dumb Contracts (Extended Version) Tamer Abdelaziz Aquinas Hobor 62 7 0 21 Apr 2023
Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries Ningyu He Zhehao Zhao Jikai Wang Yubin Hu Shengjian Guo Haoyu Wang Guangtai Liang Ding Li Xiangqun Chen Yao Guo 87 15 0 14 Apr 2023
EF/CF: High Performance Smart Contract Fuzzing for Exploit Generation Michael Rodler D. Paaßen Wenting Li Lukas Bernhard Thorsten Holz Ghassan O. Karame Lucas Davi 42 19 0 13 Apr 2023