Contact Info
- Email: dae.r.jeong at snu.ac.kr
- Office: #401, Bldg #301
- Address: 1 Gwanak-ro, Gwanak-gu, Seoul, 08826
I'm always looking for motivated students. If you are interested in system security, please feel free to reach out to me!
Research Interests
- Automating vulnerability detection
- Reproducing and diagnosing system failures
- Mitigating attacks and system hardening
- Formally verifying security properties of systems
Professional Activities
- Technical program committee
- Usenix ATC 2025
- ACM SOSP 2025 (Poster)
- External review committee
- Artifact evaluation committee
- Usenix OSDI 2024
- Usenix ATC 2024
- Shadow program committee
- Reviewer
- IEEE Transactions on Dependable and Secure Computing (TDSC) 2025
Other Interests
- Surfing; Travel; Scuba/free diving; Workout; Chess; Reading; (Humpback) whales
Feel free to reach out to me if you want to join! XD
