4 citations · 16 across the 21 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.SE2021
Justifying the Dependability and Security of Business-Critical Blockchain-based Applications
Pierre-Yves Piriou, Olivier Boudeville, Gilles Deleuze +2
In the industry, blockchains are increasingly used as the backbone of product and process traceability. Blockchain-based traceability participates in the demonstration of product a…
cs.SE2021★ 1 cited
A Survey of Verification, Validation and Testing Solutions for Smart Contracts
Chaïmaa Benabbou, Önder Gürcan
Smart contracts are programs stored on a blockchain that run when predetermined conditions are met. However, designing and implementing a smart contract is not trivial since upon d…