소프트웨어 보안 연구실에서는 프로그램 바이너리에 대한 이해를 바탕으로 다양한 형태의 보안취약점을 탐지하고 방어하는 방법을 연구한다. 주로 소프트웨어의 취약점 탐지, 악성코드의 분석 및 분류, 공격 검증, 역공학(reverse engineering) 등의 바이너리 분석에 기반을 둔 연구를 진행한다. 우리의 비전은 이 세상의 프로그램들을 자동으로 검사하여 안전한 컴퓨팅 환경을 만드는 것이다.