- PrevDependable Computing 23.09.19
- NextEmbedded Systems Languages and Compilers 23.09.19
Research
Lab
Secure SystemsLab
Prof. Dokyung Song
Engineering Hall 4, Room D704
Lab Introduction
Cyber Security Lab at Yonsei University consists of people genuinely interested in improving the security of modern computer systems. Based on a fundamental understanding of complex modern computer systems (both software and hardware), we investigate various security problems in systems software such as operating system kernels by developing innovative techniques, including but not limited to automated vulnerability scanning techniques, machine-learning-based reverse engineering techniques, vulnerability exploitation techniques, exploit mitigation & prevention techniques. We aim to conduct high-impact research that can impact the academia as well as the industry; the research outcomes are being published at both academic conferences and prestigious hacking conferences such as BlackHat USA. We are collaborating with institutions conducting cutting-edge security research across the globe, including UC Irvine and Oregon State University in USA and KU Leuven in Belgium.
Research field
Systems Security OS Security Binary Reverse Engineering Program Analysis Confidential ComputingRepresentative Papers
- 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.