KAIST Graduate School of Information Security

2023.03.28(화) 정보보호대학원 2023년 봄학기 콜로퀴움 - 이다열
작성일2023-03-22
정보보호대학원에서는 3월 28일 오후 4시에 아래와 같이 콜로퀴움을 개최하고자 합니다. 많은 참석 부탁드립니다. o 일 시: 23. 03. 28(화) 16:00~ o 주 제: Building Trusted Execution Environments o 강 사: 이다열 (Anyscale Inc., Security Engineer) o 장 소: 오프라인(N1동 102호) ※ 세미나 시작시간 5분전에 준비하여 주세요. ㅡㅡㅡ ♣ Title: Building Trusted Execution Environments ♣ Abstract Trusted execution environments (TEEs) employ hardware-based isolation to safeguard the integrity and confidentiality of in-use data against diverse threats. Although numerous hardware vendors have produced TEE-enabled chips, public research on TEE development remains scarce. This talk will present an overview of my Ph.D. thesis, which addresses the challenges and solutions in exploring the TEE design space. I will discuss the need for adaptable threat models and varying functionalities in TEEs, emphasizing that a fixed threat model is inadequate by demonstrating a novel off-chip side-channel attack. To facilitate the construction of TEEs tailored to specific needs, I will introduce Keystone, a software framework that enables the development of TEEs based on diverse threat models and functionality requirements. Moreover, I will examine the complexities of extending TEE functionality without compromising security guarantees, presenting a solution involving incremental verification. The talk will conclude with a discussion of future research directions in TEE design and deployment. ♣ Bio Dayeol Lee is a software engineer at Anyscale, Inc., with a strong background in system security, trusted execution environments, computer architecture, and formal verification. He earned his Ph.D. in Electrical Engineering and Computer Sciences from the University of California, Berkeley, where he made significant contributions to the field of trusted execution environments. Dayeol holds a BS and an MS in Computer Science and Engineering from Pohang University of Science and Technology. He is passionate about advancing cutting-edge technologies and ensuring the security of modern computing systems. To get in touch, please email dayeolee＠gmail.com.

2023.03.28(화) 정보보호대학원 2023년 봄학기 콜로퀴움 - 이다열

작성일2023-03-22

정보보호대학원에서는 3월 28일 오후 4시에 아래와 같이 콜로퀴움을 개최하고자 합니다. 많은 참석 부탁드립니다.

o 일 시: 23. 03. 28(화) 16:00~
o 주 제: Building Trusted Execution Environments
o 강 사: 이다열 (Anyscale Inc., Security Engineer)
o 장 소: 오프라인(N1동 102호)

※ 세미나 시작시간 5분전에 준비하여 주세요.

ㅡㅡㅡ

♣ Title: Building Trusted Execution Environments

♣ Abstract
Trusted execution environments (TEEs) employ hardware-based isolation to safeguard the integrity and confidentiality of in-use data against diverse threats. Although numerous hardware vendors have produced TEE-enabled chips, public research on TEE development remains scarce. This talk will present an overview of my Ph.D. thesis, which addresses the challenges and solutions in exploring the TEE design space.

I will discuss the need for adaptable threat models and varying functionalities in TEEs, emphasizing that a fixed threat model is inadequate by demonstrating a novel off-chip side-channel attack. To facilitate the construction of TEEs tailored to specific needs, I will introduce Keystone, a software framework that enables the development of TEEs based on diverse threat models and functionality requirements.

Moreover, I will examine the complexities of extending TEE functionality without compromising security guarantees, presenting a solution involving incremental verification. The talk will conclude with a discussion of future research directions in TEE design and deployment.

♣ Bio
Dayeol Lee is a software engineer at Anyscale, Inc., with a strong background in system security, trusted execution environments, computer architecture, and formal verification. He earned his Ph.D. in Electrical Engineering and Computer Sciences from the University of California, Berkeley, where he made significant contributions to the field of trusted execution environments. Dayeol holds a BS and an MS in Computer Science and Engineering from Pohang University of Science and Technology. He is passionate about advancing cutting-edge technologies and ensuring the security of modern computing systems. To get in touch, please email dayeolee＠gmail.com.

목록으로