Software Security Research Group

Software Security Lab (SoftSec) is a research lab in the Sungkyunkwan University that focuses on improving the security of real-world systems such as Android, Blockchain, Automotive, and Cloud. For this, we develop automated techniques for finding new vulnerabilities and methodologies for helping programmers to develop secure systems. To achieve our goal, we use techniques in software engineering, programming language, and security fields.

Previous Next

We are interested in the following research fields.

• Hacking. We study hacking techniques and analyze systems to find new vulnerabilities.
• Security Development Lifecycle (SDL). We research SDL to help developers to build secure systems.
• Program Analysis & Testing. We develop tools and frameworks that find vulnerabilities in software automatically. Recently, we developed static analyzers for blockchain and Android and a dynamic testing framework for JVMs.
• Empirical Security. We collect datasets and analyze data to understand problems in real-world systems. Recently, we conducted empirical security research on software running on the blockchain platform.

Joining the Lab
We are actively recruiting motivated graduate/undergraduate students and postdoctoral researchers.

대학원생, 학부연구생, 포닥 연구원을 모집중입니다.

자동차, 안드로이드, 블록체인, 클라우드와 같은 4차산업 시대에 핵심이라고 볼 수 있는 시스템에서 새로운 보안 문제를 찾고 해결하는 연구를 진행하고 있습니다. 구체적으로, 저희 연구실에서는 1) 해킹 기술을 활용하여 시스템에 새로운 보안 문제를 찾는 연구. 2) 소프트웨어 테스팅 및 프로그램 분석 기술을 활용하여 소프트웨어에 존재하는 보안 취약점을 자동으로 찾는 연구. 3) 실증 연구를 통해 실제 데이터를 기반으로 시스템/소프트웨어의 보안 수준을 파악하는 연구. 4) 보안 개발 방법론 (SDL)에 대한 연구. 5) 머신러닝 알고리즘을 활용하여 공격을 탐지하는 연구를 진행하고 있습니다.

관심있는 학생들의 많은 지원 부탁드립니다. email: sungjaeh@skku.edu