v1v2 (latest)

VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts

29 August 2019

Papers citing "VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts"

30 / 30 papers shown

Title
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 34 0 0 23 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 57 0 0 16 May 2025
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
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 53 3 0 27 Aug 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
Characterizing Ethereum Upgradable Smart Contracts and Their Security Implications Xiaofan Li Jin Yang Jiaqi Chen Yuzhe Tang Xing Gao ELM 57 11 0 02 Mar 2024
Blockchain-empowered Federated Learning: Benefits, Challenges, and Solutions Zeju Cai Jianguo Chen Yuting Fan Zibin Zheng Keqin Li 72 6 0 01 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
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
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
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
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
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 80 51 0 21 Jun 2023
Demystifying Random Number in Ethereum Smart Contract: Taxonomy, Vulnerability Identification, and Attack Detection Peng Qian Jianting He Lingling Lu Siwei Wu Zhipeng Lu Lei Wu Yajin Zhou Qinming He 53 16 0 25 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
Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners? Stefanos Chaliasos Marcos Antonios Charalambous Liyi Zhou R. Galanopoulou Arthur Gervais Dimitris Mitropoulos B. Livshits 60 42 0 06 Apr 2023
OpenSCV: An Open Hierarchical Taxonomy for Smart Contract Vulnerabilities F. Vidal N. Ivaki N. Laranjeiro 41 17 0 25 Mar 2023
Security Defense For Smart Contracts: A Comprehensive Survey Nikolay Ivanov Chenning Li Qiben Yan Zhi-Guang Sun Zhichao Cao Xiapu Luo 89 40 0 14 Feb 2023
TxT: Real-time Transaction Encapsulation for Ethereum Smart Contracts Nikolay Ivanov Qiben Yan Anurag Kompalli 69 20 0 20 Jan 2023
Pre-deployment Analysis of Smart Contracts -- A Survey Sundas Munir Walid M. Taha 81 13 0 15 Jan 2023
Vulnerability Analysis of Smart Contracts S. Vani M. Doshi A. Nanavati A. Kundu 42 7 0 14 Dec 2022
A Survey of DeFi Security: Challenges and Opportunities Wenkai Li Jiuyang Bu Xiaoqi Li Hongli Peng Yuanzheng Niu Xianyi Chen 97 37 0 23 Jun 2022
Productivity, Portability, Performance: Data-Centric Python Yiheng Wang Yao Zhang Yanzhang Wang Yan Wan Jiao Wang Zhongyuan Wu Yuhao Yang Bowen She 163 101 0 01 Jul 2021
The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts C. F. Torres Antonio Ken Iannillo Arthur Gervais R. State 60 39 0 15 Jan 2021
A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems Bin Hu Zongyang Zhang Jianwei Liu Yizhong Liu Jiayuan Yin R. Lu Xiaodong Lin AILaw 122 116 0 31 Aug 2020
Time-Travel Investigation: Towards Building A Scalable Attack Detection Framework on Ethereum Lei Wu Siwei Wu Yajin Zhou Runhuai Li Zhi Wang Xiapu Luo Cong Wang K. Ren 33 13 0 17 May 2020
Vulpedia: Detecting Vulnerable Ethereum Smart Contracts via Abstracted Vulnerability Signatures Jiaming Ye Mingliang Ma Yun Lin Lei Ma Yinxing Xue Jianjun Zhao 22 14 0 10 Dec 2019