v1v2 (latest)

Securify: Practical Security Analysis of Smart Contracts

4 June 2018

Martin Vechev

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

36 / 186 papers shown

Title
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
V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability Fuchen Ma Ying Fu Meng Ren Wanting Sun Zhe Liu Yu Jiang Jun Sun Jiaguang Sun 37 16 0 06 Oct 2019
A Data Science Approach for Honeypot Detection in Ethereum R. Camino Tim Kahlke Mathis Baden R. State 70 16 0 03 Oct 2019
A Blueprint for Interoperable Blockchains Tien Tuan Anh Dinh Anwitaman Datta Beng Chin Ooi 54 8 0 02 Oct 2019
Broken Metre: Attacking Resource Metering in EVM Daniel Perez B. Livshits 49 68 0 16 Sep 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
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Sunbeom So Myungho Lee Jisu Park Heejo Lee Hakjoo Oh 83 112 0 29 Aug 2019
Slither: A Static Analysis Framework For Smart Contracts Josselin Feist Gustavo Grieco Alex Groce 63 622 0 26 Aug 2019
Integration of Blockchain and Cloud of Things: Architecture, Applications and Challenges Dinh C. Nguyen P. Pathirana Ming Ding Aruna Seneviratne 70 141 0 24 Aug 2019
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Purathani Praitheeshan Lei Pan Jiangshan Yu Joseph K. Liu R. Doss 61 141 0 22 Aug 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
EVulHunter: Detecting Fake Transfer Vulnerabilities for EOSIO's Smart Contracts at Webassembly-level Lijin Quan Lei Wu Haoyu Wang 47 29 0 25 Jun 2019
Targeted Greybox Fuzzing with Static Lookahead Analysis Valentin Wüstholz M. Christakis 51 63 0 17 May 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
Harvey: A Greybox Fuzzer for Smart Contracts Valentin Wüstholz M. Christakis 89 190 0 15 May 2019
Bug Searching in Smart Contract Xiaotao Feng Qin Wang Xiaogang Zhu S. Wen 26 10 0 02 May 2019
Characterizing Code Clones in the Ethereum Smart Contract Ecosystem Ningyu He Lei Wu Haoyu Wang Yao Guo Xuxian Jiang 61 77 0 01 May 2019
A Security Reference Architecture for Blockchains I. Homoliak Sarad Venugopalan Qingze Hum Pawel Szalachowski 49 32 0 15 Apr 2019
Towards a First Step to Understand the Cryptocurrency Stealing Attack on Ethereum Zhen Cheng Xinrui Hou Runhuai Li Yajin Zhou Xiapu Luo Jinku Li K. Ren 46 34 0 03 Apr 2019
Probabilistic Smart Contracts: Secure Randomness on the Blockchain K. Chatterjee A. Goharshady Arash Pourdamghani 36 82 0 21 Feb 2019
The Art of The Scam: Demystifying Honeypots in Ethereum Smart Contracts C. F. Torres M. Steichen Radu State 90 191 0 19 Feb 2019
Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited Daniel Perez B. Livshits 92 58 0 18 Feb 2019
Precise Attack Synthesis for Smart Contracts Yu Feng Emina Torlak Rastislav Bodík 65 43 0 16 Feb 2019
VeriSolid: Correct-by-Design Smart Contracts for Ethereum Anastasia Mavridou Aron Laszka Emmanouela Stachtiari A. Dubey 52 123 0 04 Jan 2019
Detecting Standard Violation Errors in Smart Contracts Ao Li Fan Long 45 13 0 18 Dec 2018
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks Michael Rodler Wenting Li Ghassan O. Karame Lucas Davi 88 259 0 14 Dec 2018
Detecting Token Systems on Ethereum Michael Fröwis A. Fuchs Rainer Böhme 131 50 0 28 Nov 2018
Sapiens Chain: A Blockchain-based Cybersecurity Framework Yu Han Zhongru Wang Qiang Ruan Binxing Fang 11 3 0 27 Nov 2018
Running on Fumes--Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis E. Albert Pablo Gordillo A. Rubio Ilya Sergey 62 17 0 22 Nov 2018
Towards Safer Smart Contracts: A Sequence Learning Approach to Detecting Security Threats W. Tann X. Han Sourav Sengupta Yew-Soon Ong 63 36 0 16 Nov 2018
Exploiting The Laws of Order in Smart Contracts Aashish Kolluri I. Nikolic Ilya Sergey Aquinas Hobor P. Saxena 46 110 0 27 Oct 2018
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods D. Harz William Knottenbelt 70 77 0 26 Sep 2018
BlockPKI: An Automated, Resilient, and Transparent Public-Key Infrastructure Lukasz Dykcik L. Chuat Pawel Szalachowski A. Perrig 36 35 0 25 Sep 2018
sCompile: Critical Path Identification and Analysis for Smart Contracts Jialiang Chang Bo Gao Hao Xiao Jun Sun Yan Cai ZhenYu Yang 74 88 0 02 Aug 2018
A Survey on Consensus Mechanisms and Mining Strategy Management in Blockchain Networks Wenbo Wang D. Hoang Peizhao Hu Zehui Xiong Dusit Niyato Ping Wang Yonggang Wen Dong In Kim 105 749 0 07 May 2018
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact Massimo Bartoletti S. Carta Tiziana Cimoli Roberto Saia 101 320 0 10 Mar 2017