소프트웨어재난연구센터 11월 초청세미나 안내
페이지 정보
작성자 김채원 댓글 조회 작성일 24-11-13 14:55본문
소프트웨어재난연구센터에서 다음과 같이 11월 초청 세미나 일정을 안내드리오니, 관심있는 교수님 및 연구원께서는 많은 참석 부탁 드리겠습니다.
세미나에 관심있는 학부,대학원생 모두 참여 가능합니다.
- 일 시 : 2024년 11월 15일 금요일 11:00 - 12:00
- 장 소 : 온라인(ZOOM) : https://us02web.zoom.us/j/8798584725?pwd=RUluYWRMYjlaWkJVbkFXZXVDNGExQT09
- 연 사 : 소순범 교수님 (GIST)
- 주 제 : Automatic Safety Analysis of Smart Contracts
Automatic Safety Analysis of Smart Contract
* 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 security and safety of software, including formal verification and symbolic execution.
- 이전글[DIP 빅데이터활용센터] 2024년 하반기 대구 가명정보 활용지원센터 세미나(11/19) 24.11.14
- 다음글[대구시] 2024년 정보화 아카데미 IT/SW 신기술 특강(11/28) 24.11.12
댓글목록
등록된 댓글이 없습니다.