DeepAI AI Chat
Log In Sign Up

Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts

by   Anastasia Mavridou, et al.

Blockchain-based distributed computing platforms enable the trusted execution of computation - defined in the form of smart contracts - without trusted agents. Smart contracts are envisioned to have a variety of applications, ranging from financial to IoT asset tracking. Unfortunately, the development of smart contracts has proven to be extremely error prone. In practice, contracts are riddled with security vulnerabilities comprising a critical issue since bugs are by design non-fixable and contracts may handle financial assets of significant value. To facilitate the development of secure smart contracts, we have created the FSolidM framework, which allows developers to define contracts as finite state machines (FSMs) with rigorous and clear semantics. FSolidM provides an easy-to-use graphical editor for specifying FSMs, a code generator for creating Ethereum smart contracts, and a set of plugins that developers may add to their FSMs to enhance security and functionality.


page 5

page 11

page 13


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

The adoption of blockchain-based distributed computation platforms is gr...

A Semantic Framework for the Security Analysis of Ethereum smart contracts

Smart contracts are programs running on cryptocurrency (e.g., Ethereum) ...

Accelerated carrier invoice factoring using predictive freight transport events

Invoice factoring is an invoice financing process where business organiz...

Off-chain Execution and Verification of Computationally Intensive Smart Contracts

We propose a novel framework for off-chain execution and verification of...

Enforceable Data Sharing Agreements Using Smart Contracts

As more and more data is collected for various reasons, the sharing of s...

CLOAK: A Framework For Development of Confidential Blockchain Smart Contracts

In recent years, as blockchain adoption has been expanding across a wide...

An Ethereum-compatible blockchain that explicates and ensures design-level safety properties for smart contracts

Smart contracts are crucial elements of decentralized technologies, but ...