연구
연구실
시스템 보안연구실 인공지능시스템
Secure Systems Lab
담당교수 송도경
제4공학관 D714호
연구실 소개
연세대학교 사이버 보안 연구실에서는 현대 컴퓨터 시스템에 대한 깊은 이해를 바탕으로 운영체제 커널과 같은 시스템 소프트웨어에서 발생할 수 있는 보안 문제를 자동으로 발견하는 기법, 그 문제들을 공격하는 기법, 또 그 공격을 차단하는 기법까지 시스템 보안 전반에 대해 폭넓게 연구하고 있습니다. 저명한 보안분야 학술 컨퍼런스 뿐만 아니라 블랙햇과 같은 세계적인 해커 컨퍼런스에도 연구를 인정받아 발표하고 있으며, 학계 그리고 산업계 모두에 임팩트를 줄 수 있는 연구를 지향합니다. 미국의 UC Irvine, 벨기에의 KU Leuven, 네덜란드의 TU Delft 등 여러 해외 대학과 교류하며 다양한 공동 연구도 수행하고 있습니다.
연구분야
시스템 보안 운영체제 보안 바이너리 역공학 프로그램 분석 기밀 컴퓨팅대표 논문
- Jang, J., Kang, M., Song, D. (2023) ReUSB: Replay-Guided USB Driver Fuzzing. In 32nd USENIX Security Symposium (USENIX Security '23).
- Kim, G., Hong, S., Franz, M., Song, D., (2022). Improving Cross-Platform Binary Analysis using Representation Learning via Graph Alignment. In 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).
- Song, D., Hetzelt, F., Kim, J., Kang, B. B., Seifert, J. P., & Franz, M. (2020). Agamotto: Accelerating kernel driver fuzzing with lightweight virtual machine checkpoints. In 29th USENIX Security Symposium (USENIX Security 20) (pp. 2541-2557).
- Song, D., Hetzelt, F., Das, D., Spensky, C., Na, Y., Volckaert, S., ... & Franz, M. (2019). PeriScope: An effective probing and fuzzing framework for the hardware-OS boundary. In 2019 Network and Distributed Systems Security Symposium (NDSS) (pp. 1-15). Internet Society.
- Song, D., Lettner, J., Rajasekaran, P., Na, Y., Volckaert, S., Larsen, P., & Franz, M. (2019, May). SoK: Sanitizing for security. In 2019 IEEE Symposium on Security and Privacy (SP) (pp. 1275-1295). IEEE.