23 citations · 47 across the 19 of their papers we have counts for
Showing 2022 · cs.SEShow all
2 papers · 2 filters
cs.SE2022
Safety Verification of Declarative Smart Contracts
Haoxian Chen, Lan Lu, Brendan Massey +2
Smart contracts manage a large number of digital assets nowadays. Bugs in these contracts have led to significant financial loss. Verifying the correctness of smart contracts is, t…
cs.SE2022★ 1 cited
Declarative Smart Contracts
Haoxian Chen, Gerald Whitters, Mohammad Javad Amiri +2
This paper presents DeCon, a declarative programming language for implementing smart contracts and specifying contract-level properties. Driven by the observation that smart contra…