Hyungseok Han
Principal Security Researcher at Microsoft
Bellevue, Washington, United States
Summary
👤
Senior🎓
Top SchoolHyungseok Han is a Principal Security Researcher with 11 years of experience building automated bug-finding systems that blend fuzzing, program analysis, symbolic execution, and LLMs. His tools and research have uncovered 100+ real-world vulnerabilities in complex software (macOS, Windows, Chrome, Safari) and earned him MSRC’s Most Valuable Researcher award in 2022. He has first-author publications at top security venues (IEEE S&P, USENIX Security, NDSS, ACM CCS) and led the winning Team Atlanta in DARPA AIxCC, architecting end-to-end systems that combine automated vulnerability discovery with patch generation. Previously he designed QueryX and CGSan to find logic and use-after-free bugs in binaries and compact-GC systems, respectively, and has converted research into high-impact bug bounty payouts and vendor fixes. Based in Bellevue, WA, he pairs deep academic rigor (KAIST PhD) with hands-on offensive practice and a knack for making cutting-edge analysis tools scale to real-world targets.
11 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy - PhD Graduate School of Information Security, Doctor of Philosophy - PhD Graduate School of Information Security at Korea Advanced Institute of Science and Technology
Github Skills (51)
foundry10
solidity10
ethereum10
semantics9
blockchain9
smart-contracts9
vulnerabilities8
stability8
code-generation8
javascript-engine8
security8
fuzzer7
javascript7
linux7
chakra7
Programming languages (8)
Github contributions (5)
SoftSec-KAIST/CodeAlchemist
Mar 2019 - Nov 2019
Semantics-aware Code Generation for Finding JS engine Vulnerabilities
Contributions:2 releases, 16 commits, 8 pushes in 7 months
code-generationvulnerabilitiessecurityjavascriptfinding
DaramG/daramg.github.io
Aug 2017 - Aug 2024
Contributions:75 pushes, 1 branch in 7 years 1 month
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.