v1v2 (latest)

sCompile: Critical Path Identification and Analysis for Smart Contracts

2 August 2018

Jun Sun

Papers citing "sCompile: Critical Path Identification and Analysis for Smart Contracts"

21 / 21 papers shown

Title
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
Vulnerability Scanners for Ethereum Smart Contracts: A Large-Scale Study Christoph Sendner Lukas Petzi Jasper Stang Alexandra Dmitrienko 49 2 0 27 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
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
Vulnerability Analysis of Smart Contracts S. Vani M. Doshi A. Nanavati A. Kundu 42 7 0 14 Dec 2022
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
On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols Liyi Zhou Kaihua Qin Antoine Cully B. Livshits Arthur Gervais 73 124 0 03 Mar 2021
sGUARD: Towards Fixing Vulnerable Smart Contracts Automatically T. D. Nguyen Long H. Pham Jun Sun 69 58 0 06 Jan 2021
A Survey on Vulnerabilities of Ethereum Smart Contracts Z. Khan A. Namin 41 7 0 28 Dec 2020
Towards A First Step to Understand Flash Loan and Its Applications in DeFi Ecosystem Dabao Wang Siwei Wu Ziling Lin Lei Wu Lizhen Qu Yajin Zhou Haoyu Wang K. Ren 81 29 0 23 Oct 2020
Characterizing Erasable Accounts in Ethereum Xiaoqi Li Ting Chen Xiapu Luo Jiangshan Yu 67 16 0 01 Sep 2020
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
STAN: Towards Describing Bytecodes of Smart Contract Xiaoqi Li Ting Chen Xiapu Luo Tao Zhang Le Yu Zhou Xu 50 19 0 19 Jul 2020
Hunting for Re-Entrancy Attacks in Ethereum Smart Contracts via Static Analysis Yuichiro Chinen Naoto Yanai Jason Paul Cruz Shingo Okamura 50 37 0 02 Jul 2020
The Security Reference Architecture for Blockchains: Towards a Standardized Model for Studying Vulnerabilities, Threats, and Defenses I. Homoliak Sarad Venugopalan Qingze Hum Daniël Reijsbergen Richard Schumi Pawel Szalachowski 76 77 0 22 Oct 2019
Oracle-Supported Dynamic Exploit Generation for Smart Contracts Haijun Wang Yi Li Shang-Wei Lin Cyrille Artho Lei Ma Yang Liu 64 61 0 14 Sep 2019
A Survey on Ethereum Systems Security: Vulnerabilities, Attacks and Defenses Huashan Chen Marcus Pendleton Laurent L. Njilla Shouhuai Xu 95 451 0 13 Aug 2019
Smart Contract Development from the Perspective of Developers: Topics and Issues Discussed on Social Media Afiya Ayman Shanto Roy Amin Alipour Aron Laszka 57 7 0 15 May 2019
An Empirical Study of Blockchain-based Decentralized Applications Kaidong Wu 36 34 0 13 Feb 2019