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
Verifiable Sustainability in Data Centers Syed Rafiul Hussain Patrick McDaniel Anshul Gandhi K. Ghose Kartik Gopalan Dongyoon Lee Yu Liu Zhen Liu Shuai Mu E. Zadok 85 1 0 22 Jul 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
Vulnerable Smart Contract Function Locating Based on Multi-Relational Nested Graph Convolutional Network Haiyang Liu Yuqi Fan Lin Feng Zhenchun Wei 44 12 0 07 Jun 2023
An Empirical Study of Impact of Solidity Compiler Updates on Vulnerabilities in Ethereum Smart Contracts Chihiro Kado Naoto Yanai Jason Paul Cruz Kyosuke Yamashita Shingo Okamura 57 0 0 07 Jun 2023
SourceP: Detecting Ponzi Schemes on Ethereum with Source Code Pengcheng Lu Liang Cai Keting Yin AI4TS 78 4 0 02 Jun 2023
Definition and Detection of Defects in NFT Smart Contracts Shuo Yang Jiachi Chen Zibin Zheng 46 26 0 25 May 2023
HyMo: Vulnerability Detection in Smart Contracts using a Novel Multi-Modal Hybrid Model M. Khodadadi J. Tahmoresnezhad 39 4 0 25 Apr 2023
Blockchain Large Language Models Y. Gai Liyi Zhou Kaihua Qin Basel Alomair Arthur Gervais 65 26 0 25 Apr 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
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 60 7 0 21 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
Analyzing the Impact of Elusive Faults on Blockchain Reliability F. Vidal N. Ivaki N. Laranjeiro 39 1 0 11 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 46 0 06 Apr 2023
The Blockchain Imitation Game Kaihua Qin Stefanos Chaliasos Liyi Zhou B. Livshits Basel Alomair Arthur Gervais AAML 72 32 0 31 Mar 2023
OpenSCV: An Open Hierarchical Taxonomy for Smart Contract Vulnerabilities F. Vidal N. Ivaki N. Laranjeiro 41 17 0 25 Mar 2023
Evolution of Automated Weakness Detection in Ethereum Bytecode: a Comprehensive Study Monika di Angelo Thomas Durieux J. Ferreira G. Salzer 54 13 0 18 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
HoRStify: Sound Security Analysis of Smart Contracts Sebastian Holler Sebastian Biewer Clara Schneidewind 45 9 0 31 Jan 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
Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting Zhenguang Liu Peng Qian Jiaxu Yang Lingfeng Liu Xiaojun Xu Qinming He Xiaosong Zhang 65 63 0 10 Jan 2023
Financial Crimes in Web3-empowered Metaverse: Taxonomy, Countermeasures, and Opportunities Jiajing Wu Kai-Xuan Lin Dan-yan Lin Ziye Zheng Huawei Huang Zibin Zheng 67 55 0 27 Dec 2022
Vulnerability Analysis of Smart Contracts S. Vani M. Doshi A. Nanavati A. Kundu 42 7 0 14 Dec 2022
Who is Gambling? Finding Cryptocurrency Gamblers Using Multi-modal Retrieval Methods Zhen-Ji Huang Zhenguang Liu Jianhai Chen Qinming He Shuang Wu Lei Zhu Ming Wang 46 9 0 27 Nov 2022
DeepVulSeeker: A Novel Vulnerability Identification Framework via Code Graph Structure and Pre-training Mechanism Jin Wang Hui Xiao Shuwen Zhong Yinhao Xiao 69 12 0 23 Nov 2022
Deep Smart Contract Intent Detection Youwei Huang Tao Zhang Sen Fang Youshuai Tan 45 4 0 19 Nov 2022
Efficient and Fine-grained Redactable Blockchain Supporting Accountability and Updating Policies Bin Luo 13 0 0 16 Nov 2022
An Empirical Study on Real Bug Fixes from Solidity Smart Contract Projects Y. Wang Xiangping Chen Yuan Huang Hao-Nan Zhu Jing Bian Zibin Zheng LRM 29 11 0 21 Oct 2022
Abstract interpretation of Michelson smart-contracts Guillaume Bau A. Miné Vincent Botbol Mehdi Bouaziz 60 11 0 11 Oct 2022
Et tu, Blockchain? Outsmarting Smart Contracts via Social Engineering Nikolay Ivanov Qiben Yan AAML 40 1 0 17 Sep 2022
Smart Contract Vulnerability Detection Technique: A Survey Peng Qian Zhenguang Liu Qinming He Butian Huang Duanzheng Tian Xun Wang 61 57 0 13 Sep 2022
MANDO: Multi-Level Heterogeneous Graph Embeddings for Fine-Grained Detection of Smart Contract Vulnerabilities Hoang H. Nguyen Nhat-Minh Nguyen Chunyao Xie Zahra Ahmadi Daniel Kudendo Thanh-Nam Doan Lingxiao Jiang 65 21 0 28 Aug 2022
An Automated Analyzer for Financial Security of Ethereum Smart Contracts Wansen Wang Wenchao Huang Zhaoyi Meng Yan Xiong Fuyou Miao Xianjin Fang Caichang Tu Renjie Ji 65 1 0 27 Aug 2022
Xscope: Hunting for Cross-Chain Bridge Attacks Jiashuo Zhang Jianbo Gao Yue Li Ziming Chen Zhi Guan Zhong Chen 37 37 0 15 Aug 2022
An Empirical Study on Ethereum Private Transactions and the Security Implications Xing-Long Lyu Mengya Zhang Xiaokuan Zhang Jianyu Niu Yinqian Zhang Zhiqiang Lin 91 21 0 04 Aug 2022
BlockScope: Detecting and Investigating Propagated Vulnerabilities in Forked Blockchain Projects Xiao Yi Yuzhou Fang Daoyuan Wu Lingxiao Jiang 67 19 0 30 Jul 2022
Penny Wise and Pound Foolish: Quantifying the Risk of Unlimited Approval of ERC20 Tokens on Ethereum Dabao Wang Hang Feng Siwei Wu Yajin Zhou Lei Wu Lizhen Qu 63 15 0 05 Jul 2022
Exploring Security Practices of Smart Contract Developers Tanusree Sharma Zhixuan Zhou Andrew K. Miller Yang Wang 52 7 0 24 Apr 2022
ScrawlD: A Dataset of Real World Ethereum Smart Contracts Labelled with Vulnerabilities Chavhan Sujeet Yashavant Saurabh Kumar Amey Karkare 66 22 0 23 Feb 2022
More is Merrier: Relax the Non-Collusion Assumption in Multi-Server PIR Tiantian Gong Ryan Henry Alexandros Psomas Aniket Kate 28 3 0 19 Jan 2022
A Survey of Verification, Validation and Testing Solutions for Smart Contracts Chaïmaa Benabbou Ö. Gürcan 29 5 0 07 Dec 2021
xFuzz: Machine Learning Guided Cross-Contract Fuzzing Yinxing Xue Jiaming Ye Wei Zhang Jun Sun Lei Ma Haijun Wang Jianjun Zhao 68 43 0 24 Nov 2021
Understanding Security Issues in the NFT Ecosystem Dipanjan Das Priyanka Bose Nicola Ruaro Christopher Kruegel Giovanni Vigna 78 161 0 17 Nov 2021
An Empirical Study of Blockchain System Vulnerabilities: Modules, Types, and Patterns Marco Antonio Rodrigues Vasconcelos Daoyuan Wu Lingxiao Jiang R. P. D. Santos Kehuan Zhang Wei Zhang 141 11 0 23 Oct 2021
On the Suitability of Blockchain Platforms for IoT Applications: Architectures, Security, Privacy, and Performance Sotirios Brotsis Konstantinos Limniotis G. Bendiab N. Kolokotronis S. Shiaeles 43 67 0 06 Sep 2021
Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts Lu-Chi Liu Lili Wei Wuqi Zhang Ming Wen Yepang Liu Shing-Chi Cheung 39 18 0 24 Aug 2021
Elysium: Context-Aware Bytecode-Level Patching to Automatically Heal Vulnerable Smart Contracts C. F. Torres H. Jonker R. State 70 28 0 23 Aug 2021
Combining Graph Neural Networks with Expert Knowledge for Smart Contract Vulnerability Detection Zhenguang Liu Peng Qian Xiaoyang Wang Yuan Zhuang Lin Qiu Xun Wang 88 218 0 24 Jul 2021
Rectifying Administrated ERC20 Tokens Nikolay Ivanov Hanqing Guo Qiben Yan MU 52 9 0 17 Jul 2021