To detect various software vulnerabilities such as memory and type safety violations or logic errors accurately and efficiently, we have been  developing various sanitization and mitigation techniques.

Fuzzing is widely used across various domains. We aim to develop this fuzzing technique further by proposing advanced approaches that can intensively test codes prone to vulnerabilities.

We have been developing various attack surface-reducing techniques to minimize attack surface and damages even if all vulnerabilities are not detected.

Rust is a new but extremely promising system programming language. We have been developing new techniques to effectively detect and mitigate software vulnerabilities specific to RUST.

We aim to effectively detect logic errors and general software vulnerabilities (e.g., memory safety violations) that can occur in various security-critical mobility environments such as autonomous vehicles, ships, and drones.

We have been developing various Web security techniques mainly to detect and eliminate user data privacy issues (e.g., trackers) that can arise while using web-based services.

We have been developing new techniques to effectively detect various types of malware on mobile platforms, including those implemented in emerging frameworks or cross-languages.