Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach

26 November 2017

Papers citing "Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach"

32 / 32 papers shown

Title
Efficient Blockchain-based Steganography via Backcalculating Generative Adversarial Network Zhuo Chen Jialing He Jiacheng Wang Zehui Xiong Tao Xiang Liehuang Zhu Dusit Niyato 10 0 0 19 Jun 2025
Smart Contracts for SMEs and Large Companies C. G. Liu P. Bodorik D. Jutla 49 0 0 28 May 2025
OpenSCV: An Open Hierarchical Taxonomy for Smart Contract Vulnerabilities F. Vidal N. Ivaki N. Laranjeiro 35 17 0 25 Mar 2023
Executable Models and Instance Tracking for Decentralized Applications on Blockchains and Cloud Platforms -- Metamodel and Implementation Felix Härer 49 0 0 17 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
Citadel: Self-Sovereign Identities on Dusk Network Xavier Salleras 13 1 0 23 Jan 2023
Reactive Synthesis of Smart Contract Control Flows Bernd Finkbeiner Jana Hofmann F. Kohn Noemi E. Passing 16 4 0 12 May 2022
FORT: Right-proving and Attribute-blinding Self-sovereign Authentication Xavier Salleras Sergi Rovira Vanesa Daza 16 5 0 18 Feb 2022
A Survey of Verification, Validation and Testing Solutions for Smart Contracts Chaïmaa Benabbou Ö. Gürcan 24 5 0 07 Dec 2021
A formal model for ledger management systems based on contracts and temporal logic Paolo Bottoni Anna Labella R. Pareschi 35 1 0 30 Sep 2021
A Taxonomy Study on Securing Blockchain-based Industrial Applications: An Overview, Application Perspectives, Requirements, Attacks, Countermeasures, and Open Issues Khizar Hameed M. Barika Saurabh Garg M. B. Amin B. Kang 47 55 0 25 May 2021
A Survey on Vulnerabilities of Ethereum Smart Contracts Z. Khan A. Namin 31 7 0 28 Dec 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 112 116 0 31 Aug 2020
Security checklists for Ethereum smart contract development: patterns and best practices Lodovica Marchesi M. Marchesi Livio Pompianu Roberto Tonelli 18 13 0 09 Aug 2020
Fair and autonomous sharing of federate learning models in mobile Internet of Things Xiaohan Hao Wei Ren Ruoting Xiong Xianghan Zheng Tianqing Zhu N. Xiong FedML 18 1 0 21 Jul 2020
Bitcoin Trace-Net: Formal Contract Verification at Signing Time J. Chiang 48 1 0 15 Jul 2020
Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities Mudabbir Kaleem Anastasia Mavridou Aron Laszka 26 37 0 16 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 64 77 0 22 Oct 2019
Novel method for handling Ethereum attack G. Hall M. M M. I. 103 0 0 25 Sep 2019
Mapping finite state machines to zk-SNARKS Using Category Theory F. Genovese A. Knispel Joshua Fitzgerald 48 2 0 06 Sep 2019
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Purathani Praitheeshan Lei Pan Jiangshan Yu Joseph K. Liu R. Doss 50 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
VeriSolid: Correct-by-Design Smart Contracts for Ethereum Anastasia Mavridou Aron Laszka Emmanouela Stachtiari A. Dubey 37 123 0 04 Jan 2019
Publish-and-Flourish: decentralized co-creation and curation of scholarly content Emilija Stojmenova Duh A. Duh Uros Droftina Tim Kos Urban Duh Tanja Simonic Korosak D. Korosak 8 1 0 24 Oct 2018
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods D. Harz William Knottenbelt 56 77 0 26 Sep 2018
Empirical Vulnerability Analysis of Automated Smart Contracts Security Testing on Blockchains R. Parizi Ali Dehghantanha Kim-Kwang Raymond Choo Amritraj Singh 38 143 0 07 Sep 2018
SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities Scott Eisele Aron Laszka Anastasia Mavridou A. Dubey 18 5 0 22 Apr 2018
Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts Anastasia Mavridou Aron Laszka 34 80 0 26 Feb 2018
A Semantic Framework for the Security Analysis of Ethereum smart contracts Ilya Grishchenko Matteo Maffei Clara Schneidewind 72 288 0 23 Feb 2018
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact Massimo Bartoletti S. Carta Tiziana Cimoli Roberto Saia 99 320 0 10 Mar 2017