Browsing University of Waterloo by Subject "ethereum"

Now showing items 1-3 of 3

A Reduction from Smart Contract Verification to Model Checking

Lotfi Takami, Alireza (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

Nassirzadeh, Behkish (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

Kim, Woojung (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 ...