Dae R. Jeong

Seoul National University · Computer Science and Engineering

Information sourcenot verified yet

Ask current students about this lab

Post your question to the Career board — students who have verified their school can answer under blind identities.

Professor

Prof. 정대룡

About

서울대학교 컴퓨터공학부 정대룡 교수가 이끄는 시스템 보안 연구실(Secure and Reliable Systems Lab)이다. 취약점 탐지 자동화, 시스템 장애의 재현 및 진단, 공격 완화와 시스템 강건화(hardening)를 핵심 주제로 연구한다. 또한 시스템의 보안 속성을 정형 검증(formal verification)하는 방법을 다룬다.

Research keywords

Systems Security

Selected publications

OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access ReorderingSOSP · 2024
Diagnosing Kernel Concurrency Failures with AITIAEuroSys · 2023
SegFuzz: Segmentizing Thread Interleaving to Discover Kernel Concurrency Bugs through FuzzingIEEE Symposium on Security and Privacy (S&P) · 2023
HFL: Hybrid Fuzzing on the Linux KernelNDSS · 2020

Other labs in this department

See all labs in this department