Browsing Mathematics (Faculty of) by Author "Wesley, Arthur"
Now showing items 1-1 of 1
-
Smart Contract Analysis Through Communication Abstractions
Wesley, Arthur (University of Waterloo, 2021-09-07)Smart contracts are programs that manage interactions between many users. Recently, Solidity smart contract have become a popular way to enforce financial agreements between untrusting users. However, such agreements do ...