연구실 목록
송도경 교수 연구실
Secure Systems Lab (SSLab)
대학원생 모집 중
연세대학교 · 컴퓨터과학과
정보 출처아직 확인되지 않음
교수 소개
송도경 교수
교수 홈페이지·논문소개
송도경 교수 연구실(SSLab, Secure Systems Lab)은 연세대 컴퓨터과학과 소속으로, 시스템 보안·바이너리 역공학·기밀 컴퓨팅을 연구한다. 최근에는 바이너리 역공학과 소프트웨어 취약점 발견을 위한 LLM·에이전트형 시스템 구축에 집중하고 있다.
연구 키워드
시스템 보안운영체제 보안바이너리 역공학프로그램 분석기밀 컴퓨팅
대표 논문
- 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
같은 학과의 다른 연구실
- 강민석 교수 연구실모집 중
데이터 시각화, AI 안전 및 윤리, 휴먼-컴퓨터 인터랙션, 인간 중심 AI
- 김대현 교수 연구실모집 중
휴먼-컴퓨터 인터랙션, 휴먼-데이터 인터랙션, 휴먼-AI 인터랙션, 데이터 시각화, 멀티모달 인터랙션, 메타버스
- 김지응 교수 연구실모집 중
프로그래밍 언어 이론, 정형 검증, 시스템 소프트웨어 신뢰성, 인공신경망 신뢰성
- 박광현 교수 연구실모집 중
데이터 중심 인공지능, DBMS for ML lifecycle, ML 기반 DBMS 최적화, 빅데이터 시스템, 클라우드 시스템, 하드웨어-데이터 플랫폼 co-design
- 박영준 교수 연구실모집 중
딥러닝 컴파일러, GPU/NPU/PIM 대상 시스템 SW 최적화 (컴파일러, 런타임), 인공지능 가속기 설계 및 컴파일러 지원
- 안형찬 교수 연구실모집 중
알고리즘 설계, 조합 최적화, 근사 알고리즘, 온라인 알고리즘, 이론 컴퓨터과학, 최적화 기법 응용