| |
An Idealist's Approach for Smart Contract Correctness
Speaker (s):
NGUYEN Duy Tai
PhD Candidate,
School of Computing and Information Systems
Singapore Management University
|
|
Date:
Time:
Venue:
|
|
16 November 2023, Thursday
3:30pm – 4:00pm
Seminar Room 2.6, Level 2.
School of Computing and
Information Systems 2,
Singapore Management University,
90 Stamford Road, Singapore 178903
We look forward to seeing you at this research seminar.
Please register by 15 November 2023.
|
|
About the Talk
Smart contracts are distributed, self-enforcing programs executing on top of blockchain networks. They have the potential to revolutionize many industries such as financial institutes and supply chains. As smart contracts gain more popularity and carry more valuable digital assets, they become more of an interesting target for attackers. It is essential that smart contracts are systematically analyzed or even verified, ideally before they are deployed.
In this work, we experiment with an idealistic approach for smart contract correctness verification and enforcement, based on the assumption that developers are either desired or required to provide a correctness specification due to the importance of smart contracts and the fact that they are immutable after deployment. We design a static verification system with a specification language that supports fully compositional verification (with the help of function specifications, contract invariants, loop invariants and call invariants).
This is a Pre-Conference talk for 24th International Conference on Formal Engineering Methods (ICFEM 2023).
About the Speaker
NGUYEN Duy Tai is a PhD student in the School of Computing and Information Systems, at Singapore Management University. He is supervised by Professor SUN Jun. His research work focuses on developing tools and theories for smart contract security.
|
