Contact Info
- Email: dae.r.jeong at snu.ac.kr
- Office: #401, Bldg #301
- Address: 1 Gwanak-ro, Gwanak-gu, Seoul, 08826
Research Interests
- System Software Security: Vulnerability detection/mitigation and formal verification of security properties
- Hardware Security: Trusted execution environments and side-channel analysis
- AI Agent Security: Isolation and policy enforcement for safe execution
Professional Activities
- Technical program committee
- IEEE SaTML 2027
- USENIX Security 2027
- ACM APSys 2026
- USENIX ATC 2025, 2024 (External)
- ACM SOSP 2025 (Poster)
- ACM EuroSys 2023 (Shadow)
- Organizing committee
- Publicity Chair, ACM APSys 2026
- Artifact evaluation committee
- USENIX OSDI 2024
- USENIX ATC 2024
- Reviewer
- IEEE Transactions on Software Engineering (TSE) 2026
- 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
