Notice

Date: 2024. May 22
Time: 4 pm
Location: 104 E204

Seminar Title: Automatic Safety Analysis of Smart Contracts
Speaker: Prof. Sunbeom So / GIST
Host: Jooyong Yi

Abstract:

In this talk, I will introduce our research on smart contract analysis. Smart contracts are attractive targets for attackers and even a single flaw can cause tremendous financial damage, since smart contracts typically manipulate valuable data such as digital assets. To make matters worse, vulnerabilities in smart contracts cannot be mitigated once deployed because smart contracts are immutable. It is therefore crucial and urgent to develop techniques for securing smart contracts. I will present our techniques for effectively verifying, testing, and repairing smart contracts.

Bio:
Sunbeom So is an assistant professor of EECS at GIST. He received his B.S. degree in Computer and Communication Engineering from Korea University, Seoul, Korea in August 2016, and his Ph.D. degree in Computer Science and Engineering from Korea University, Seoul, Korea in August 2022. Before joining GIST in September 2023, he was a research professor at Korea University from September 2022 to August 2023. He is interested in various research topics for improving the safety and reliability of software, including program verification/testing/repair/synthesis.