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

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-662-58387-6_28
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Ethereum, Smart Contracts, DApps

Blockchain and Crypt Currency
2020English

Towards Analyzing the Complexity Landscape of Solidity Based Ethereum Smart Contracts

2018English

A Semantic Framework for the Security Analysis of Ethereum Smart Contracts

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Trustworthy IoT: An Evidence Collection Approach Based on Smart Contracts

2019English

Planning and Designing Walkable Cities: A Smart Approach

Green Energy and Technology
ManagementMonitoringEnergy EngineeringRenewable EnergyLawManufacturing EngineeringSustainabilityIndustrialPolicyPower Technologythe Environment
2018English

Blockchain Based Smart Contracts : A Systematic Mapping Study

2017English

Development of a Smart Home Context-Aware Application: A Machine Learning Based Approach

International Journal of Smart Home
Computer Science
2015English

Observable Form of a Timed Finite State Machine

2010English

Smart Cart Obsonium Based on Secure System

International Journal of Innovative Technology and Exploring Engineering
Mechanics of MaterialsElectronic EngineeringCivilStructural EngineeringElectricalComputer Science
2020English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy