×

Search

사이트 내 전체검색
  • 검색하고자 하는 키워드 입력 후 Enter 또는 검색아이콘 클릭을 통해 검색해 주세요.
  • 통합검색은 홈페이지의 내용을 전체 검색합니다.
닫기
  • 커뮤니티
  • 세미나 및 행사
  • 커뮤니티

세미나 및 행사 세미나 및 행사

소프트웨어재난연구센터 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.



 

댓글목록

등록된 댓글이 없습니다.