Contact Info
- Email: dae.r.jeong at snu.ac.kr
- Office: #401, Bldg #301
- Address: 1 Gwanak-ro, Gwanak-gu, Seoul, 08826
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 Security 2027
- USENIX ATC 2025
- ACM SOSP 2025 (Poster)
- ACM APSys 2026
- Organizing committee
- Publicity Chair, ACM APSys 2026
- 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
