Capturing the Ethereum virtual machine in the UC framework
Han, Fangqi
Loading…
Permalink
https://hdl.handle.net/2142/121552
Description
Title
Capturing the Ethereum virtual machine in the UC framework
Author(s)
Han, Fangqi
Issue Date
2023-07-19
Director of Research (if dissertation) or Advisor (if thesis)
Miller, Andrew
Department of Study
Electrical & Computer Eng
Discipline
Electrical & Computer Engr
Degree Granting Institution
University of Illinois at Urbana-Champaign
Degree Name
M.S.
Degree Level
Thesis
Keyword(s)
Security
Blockchain
Smart Contracts
Language
eng
Abstract
Ethereum’s smart contract system has become a powerful platform for developing decentralized applications. Its introduction of programmability to blockchain systems has significantly expanded the use cases of blockchains. The technology that had been mostly used as a distributed ledger has now evolved into a distributed state machine, allowing developers to upload their programs to the blockchain and users to request execution of arbitrary computations by the platform. However, this exciting new advancement is not without risks. Attackers have been able to exploit various design flaws of Ethereum smart contracts and caused loss of highly valuable assets. On the other hand, security analyses of smart contract designs are often empirical and lack adoption of formal methods. Developers sometimes are only able to identify security breaches after attacks have been carried out. This is understandable, as the Ethereum smart contract system is difficult to capture, even by some of the most expressive frameworks that security analysts use to study distributed protocols. This work aims to provide a solution to this problem, by modeling the Ethereum Virtual Machine (EVM) as a global functionality in the Universal Composability (UC) framework and formulating proofs of smart contract security. It is our hope that formal proof techniques can receive wider adoption among developers of decentralized applications in the near future.
Use this login method if you
don't
have an
@illinois.edu
email address.
(Oops, I do have one)
IDEALS migrated to a new platform on June 23, 2022. If you created
your account prior to this date, you will have to reset your password
using the forgot-password link below.
