Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts
Blockchain has become particularly popular due to its promise to support business-critical services in very different domains (e.g., retail, healthcare). Blockchain systems rely on complex middleware, like Ethereum or Hyperledger Fabric, that allow running smart contracts, which specify business log...
Main Authors: | Akos Hajdu, Naghmeh Ivaki, Imre Kocsis, Attila Klenik, Laszlo Gonczy, Nuno Laranjeiro, Henrique Madeira, Andras Pataricza |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2020-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/9229414/ |
Similar Items
-
A Survey on Security Verification of Blockchain Smart Contracts
by: Jing Liu, et al.
Published: (2019-01-01) -
Smart Contract Engineering
by: Kai Hu, et al.
Published: (2020-12-01) -
State-of-the-art survey of smart contract verification based on formal methods
by: Wenbo ZHANG, et al.
Published: (2022-08-01) -
Formal Modeling and Verification of Smart Contracts with Spin
by: Zhe Yang, et al.
Published: (2022-09-01) -
Formal Verification of Blockchain Smart Contracts via ATL Model Checking
by: Wonhong Nam, et al.
Published: (2022-01-01)