Lab directory
Secure Systems Lab (SSLab)
Secure Systems Lab (SSLab)
Recruiting grad students
Yonsei University · Computer Science
Information sourcenot verified yet
Professor
Prof. 송도경
Professor's page · publicationsAbout
송도경 교수 연구실(SSLab, Secure Systems Lab)은 연세대 컴퓨터과학과 소속으로, 시스템 보안·바이너리 역공학·기밀 컴퓨팅을 연구한다. 최근에는 바이너리 역공학과 소프트웨어 취약점 발견을 위한 LLM·에이전트형 시스템 구축에 집중하고 있다.
Research keywords
시스템 보안운영체제 보안바이너리 역공학프로그램 분석기밀 컴퓨팅
Selected publications
- ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution EnvironmentsNetwork and Distributed System Security Symposium (NDSS) · 2025
- Moneta: Ex-Vivo GPU Driver Fuzzing by Recalling In-Vivo Execution StatesNetwork and Distributed System Security Symposium (NDSS) · 2025
- ERASAN: Efficient Rust Address SanitizerIEEE Symposium on Security and Privacy (S&P) · 2024
- ReUSB: Replay-Guided USB Driver FuzzingUSENIX Security Symposium · 2023
- GuardiaNN: Fast and Secure On-Device Inference in TrustZone Using Embedded SRAM and Cryptographic HardwareACM/IFIP International Middleware Conference · 2022
- Improving Cross-Platform Binary Analysis using Representation Learning via Graph AlignmentACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 2022
Other labs in this department
- Human-Data Interaction LabRecruiting
Min-Suk Kang
데이터 시각화, AI 안전 및 윤리, 휴먼-컴퓨터 인터랙션, 인간 중심 AI
- Human-Data Interaction Lab (HDIL)Recruiting
Dae-Hyun Kim
휴먼-컴퓨터 인터랙션, 휴먼-데이터 인터랙션, 휴먼-AI 인터랙션, 데이터 시각화, 멀티모달 인터랙션, 메타버스
- Formal Computing and AI Lab (FCAI)Recruiting
Jiyoung Kim
프로그래밍 언어 이론, 정형 검증, 시스템 소프트웨어 신뢰성, 인공신경망 신뢰성
- Big Data Systems & Artificial Intelligence Lab (BDAI)Recruiting
Kwang-Hyun Park
데이터 중심 인공지능, DBMS for ML lifecycle, ML 기반 DBMS 최적화, 빅데이터 시스템, 클라우드 시스템, 하드웨어-데이터 플랫폼 co-design
- Application-aware System Optimization Lab (ASO)Recruiting
Young-Joon Park
딥러닝 컴파일러, GPU/NPU/PIM 대상 시스템 SW 최적화 (컴파일러, 런타임), 인공지능 가속기 설계 및 컴파일러 지원
- 안형찬 교수 연구실Recruiting
Hyung-Chan An
알고리즘 설계, 조합 최적화, 근사 알고리즘, 온라인 알고리즘, 이론 컴퓨터과학, 최적화 기법 응용