Browsing Theses by Subject "ethereum"
Now showing items 1-3 of 3
-
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, ... -
SURF: Software Update Registration Framework
(University of Waterloo, 2018-10-25)BlockSURF (Blockchain-based Secure Update Registration Framework) or SURF, in short, is a software framework designed to enable developers to build a blockchain-based secure update system which distributes trust over a ...