송도경 연구실

Enhancing software security by identifying and fixing vulnerabilities through novel system-level techniques that automatically detect latent vulnerabilities in low-level software. Focus on improving effectiveness and efficiency of automated vulnerability discovery.

Design and implementation of systems leveraging hardware security features like ARM TrustZone and software techniques such as micro-hypervisor or compiler-based methods to achieve trustworthy and confidential computing for sensitive data protection.

Investigating novel approaches leveraging state-of-the-art machine learning techniques to address challenges in reverse engineering, moving beyond traditional heuristic-based solutions to automate labor-intensive reverse engineering tasks.