연구실 목록
정대룡 교수 연구실
Dae R. Jeong
서울대학교 · 컴퓨터공학부
정보 출처아직 확인되지 않음
교수 소개
정대룡 교수
교수 홈페이지·논문소개
서울대학교 컴퓨터공학부 정대룡 교수가 이끄는 시스템 보안 연구실(Secure and Reliable Systems Lab)이다. 취약점 탐지 자동화, 시스템 장애의 재현 및 진단, 공격 완화와 시스템 강건화(hardening)를 핵심 주제로 연구한다. 또한 시스템의 보안 속성을 정형 검증(formal verification)하는 방법을 다룬다.
연구 키워드
Systems Security
대표 논문
- 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
같은 학과의 다른 연구실
- 김건희 교수 연구실모집 중
Vision & Learning
- 김태현 교수 연구실모집 중
Quantum Information & Computing
- 박경수 교수 연구실모집 중
T-Networking
- 박재식 교수 연구실모집 중
Vision & Geometric Intelligence
- 서진욱 교수 연구실모집 중
Human-Computer Interaction
- 송용수 교수 연구실모집 중
Cryptography & Privacy