메인 콘텐츠로 이동
연구실 목록

전유석 교수 연구실

Secure Software Lab (S2 Lab)

대학원생 모집 중

고려대학교 · 컴퓨터학과

정보 출처아직 확인되지 않음

이 랩은 대학원생을 모집하고 있어요

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

지원·문의

이 연구실, 재학생에게 물어보세요

궁금한 점을 진로·진학 게시판에 남겨보세요. 학교를 인증한 재학생·대학원생이 블라인드 신원으로 답할 수 있어요.

교수 소개

소개

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

연구 키워드

Secure Software Lab (S2 Lab)

대표 논문

  • 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

같은 학과의 다른 연구실

이 학과 연구실 전체 보기