Seminar (5/22): Automatic Safety Analysis of Smart Contracts
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...