"Security"

A Survey of Verification, Validation andTesting Solutions for Smart Contracts

Acceptance of blockchain-based distributed systems in industry requires a thorough justification of their depend- ability and security. To foster blockchain acceptance, this paper proposes a new engineering perspective rooted in classic tools and …

Justifying the Dependability and Security of Business-Critical Blockchain-based Applications

Acceptance of blockchain-based distributed systems in industry requires a thorough justification of their depend- ability and security. To foster blockchain acceptance, this paper proposes a new engineering perspective rooted in classic tools and …