R / 01HW-assisted
Hardware-assisted
System Security.
하드웨어 기능을 활용해 메모리 안전성·코드 무결성·신뢰 실행 환경을 보장합니다.
Key work uXOM · ELK · SMORE · Micro-Fat Pointer
본 연구실에서는 컴퓨팅 시스템에 존재하는 다양한 위협으로부터 시스템을 보호하기 위한 보안 연구를 진행 중에 있습니다.
이를 위해 컴퓨터 아키텍처, 컴파일러, 운영체제 등 전통적인 컴퓨터 공학 지식 뿐만 아니라 웹, 블록체인, 딥러닝, 로봇, 사물인터넷 기술과 같은 최신 컴퓨터 공학 기술에 대한 이해를 바탕으로 연구를 진행하고 있습니다.
하드웨어 기능을 활용해 메모리 안전성·코드 무결성·신뢰 실행 환경을 보장합니다.
RISC-V 기반 ISA 확장·메모리 격리·분기 태그 등 보안 아키텍처를 직접 설계합니다.
WebAssembly·ROS 2·스마트 컨트랙트 등 응용 도메인에 맞는 보안 솔루션을 구현합니다.
멤버, 출판물, 사진. 각 페이지로 이동합니다.