소프트웨어 Archives -

소프트웨어 보안 연구실 (차상길 교수)

I am currently leading SoftSec Lab at KAIST. My current research interests revolve mainly around software…

안전하고 신뢰할 수있는 소프트웨어를 위한 차세대 프로그래밍 시스템 : 프로그램 분석, 프로그램 합성·변환…