Back to advisors
DR
Dae R. Jeong
Assistant Professor · Dept. of Computer Science and Engineering
Seoul National University · South KoreaAutomating vulnerability detectionReproducing and diagnosing system failuresMitigating attacks and hardening systemsFormally verifying security properties of systems
Data verified 9/6/2026Source