CLawK: Monitoring Business Processes in Smart Contracts

05/14/2023
by   Mojtaba Eshghie, et al.
0

Smart contracts embody complex business processes that can be difficult to analyze statically. In this paper, we present CLawK, a runtime monitoring tool that leverages business process specifications written in DCR graphs to provide runtime verification of smart contract execution. We demonstrate how CLawK can detect and flag deviations from specified behaviors in smart contracts deployed in the Ethereum network without code instrumentation and any additional gas costs.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset