Summer MAP

Yuandong Cyrus Liu

Grinnell, Iowa.

Temporal Verification of Smart Contracts

Blockchain technology is revolutionizing finance, identity, and certification, shaping the future of our financial systems. Smart contracts, the backbone of blockchain applications, must be error-free to ensure trust and security. Our research project focuses on advancing blockchain technology by creating a robust framework for verifying the temporal behaviors of smart contracts. Through comprehensive literature reviews on smart contract analysis, and hands-on experiments with existing verification tools, our team aims to enhance the reliability and security of smart contracts. By designing and implementing our temporal specification language and verification algorithms for smart contracts, we pave the way for broader adoption of smart contracts across diverse applications. Join us in shaping the future of blockchain technology!

Proposal Details >> Quick Overview

What should I know?

How can I apply?