Browsing Electrical and Computer Engineering by Subject "ethereum"
Now showing items 1-2 of 2
-
A Reduction from Smart Contract Verification to Model Checking
(University of Waterloo, 2021-08-25)We present a reduction from verification of smart contracts to model checking. A smart contract is a computer program written in a language with constructs that correspond to real-world contracts, such as verified sending ... -
Security Analysis Methods for Detection and Repair of DoS Vulnerabilities in Smart Contracts
(University of Waterloo, 2021-04-19)In recent years we have witnessed a dramatic increase in the applications of blockchain and smart contracts in a variety of contexts, including supply-chain, decentralized finance, and international money transfers. However, ...