Secure Software Lab (S2 Lab)

Recruiting grad students

Korea University · Computer Science and Engineering

Information sourcenot verified yet

This lab is recruiting graduate students

소프트웨어·시스템 보안에 관심 있는 학부생·대학원생 및 포스닥 모집.

Apply / Contact

Ask current students about this lab

Post your question to the Career board — students who have verified their school can answer under blind identities.

Professor

Prof. 전유석

Professor's page · publications

About

전유석 교수 연구실(Secure Software Lab, S2 Lab)은 고려대학교 컴퓨터학과 소속으로, 소프트웨어 및 시스템 보안 문제를 다루며 고도화된 버그 탐지·완화(sanitization) 기법의 설계와 구현에 중점을 둔다. 컴파일러 기반 보안 기법, 퍼징(fuzzing), AI 기반 보안 접근을 활용해 운영체제와 애플리케이션을 보호하며 자율주행·드론·해상 시스템 등 새로운 영역까지 보안 연구를 확장하고 있다.

Research keywords

Secure Software Lab (S2 Lab)

Selected publications

In-Context Probing for Membership Inference in Fine-Tuned Language ModelsNDSS · 2026
type++: Prohibiting Type Confusion with Inline Type InformationNDSS · 2025
CMASan: Custom Memory Allocator-aware Address SanitizerIEEE Symposium on Security and Privacy (S&P) · 2025
Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning LibrariesIEEE/ACM ICSE · 2025
ERASan: Efficient Rust Address SanitizerIEEE Symposium on Security and Privacy (S&P) · 2024
Pspray: Timing Side-Channel based Linux Kernel Heap Exploitation TechniqueUSENIX Security Symposium · 2023

Other labs in this department

See all labs in this department