v1v2v3v4 (latest)

Towards Safer Smart Contracts: A Survey of Languages and Verification Methods

26 September 2018

William Knottenbelt

Papers citing "Towards Safer Smart Contracts: A Survey of Languages and Verification Methods"

23 / 23 papers shown

Title
Vulnerabilities of smart contracts and mitigation schemes: A Comprehensive Survey Wejdene Haouari A. Hafid Marios Fokaefs 52 3 0 28 Mar 2024
Survey on Quality Assurance of Smart Contracts Zhiyuan Wei Jing Sun Zijian Zhang Xianhao Zhang Xiaoxuan Yang Liehuang Zhu 91 8 0 01 Nov 2023
Dissecting Smart Contract Languages: A Survey M. Soud G. Hjálmtýsson Mohammad Hamdaqa AILaw 16 1 0 04 Oct 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 42 0 06 Apr 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
A Survey of Verification, Validation and Testing Solutions for Smart Contracts Chaïmaa Benabbou Ö. Gürcan 29 5 0 07 Dec 2021
A Survey of Practical Formal Methods for Security T. Kulik Brijesh Dongol P. Larsen H. D. Macedo S. Schneider P. Tran-Jørgensen James Woodcock 71 37 0 03 Sep 2021
Flash Crash for Cash: Cyber Threats in Decentralized Finance Kris Oosthoek SILM 83 13 0 20 Jun 2021
Formal Modelling and Security Analysis of Bitcoin's Payment Protocol P. Modesti S. F. Shahandashti Patrick McCorry Feng Hao 29 9 0 15 Mar 2021
SoK: Decentralized Finance (DeFi) Sam M. Werner Daniel Perez L. Gudgeon Ariah Klages-Mundt D. Harz William J. Knottenbelt 188 272 0 21 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 120 116 0 31 Aug 2020
Security checklists for Ethereum smart contract development: patterns and best practices Lodovica Marchesi M. Marchesi Livio Pompianu Roberto Tonelli 23 13 0 09 Aug 2020
Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities Mudabbir Kaleem Anastasia Mavridou Aron Laszka 37 37 0 16 Mar 2020
Step on the Gas? A Better Approach for Recommending the Ethereum Gas Price Sam M. Werner Paul J. Pritz Daniel Perez AI4TS 110 32 0 07 Mar 2020
An Overview on Smart Contracts: Challenges, Advances and Platforms Zibin Zheng Shaoan Xie Hongning Dai Weili Chen Xiangping Chen J. Weng Muhammad Imran AILaw 76 805 0 22 Dec 2019
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 73 77 0 22 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 56 61 0 14 Sep 2019
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Purathani Praitheeshan Lei Pan Jiangshan Yu Joseph K. Liu R. Doss 52 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
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
Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited Daniel Perez B. Livshits 78 58 0 18 Feb 2019