김슬배 연구실

We design and build techniques to automatically find deep bugs and vulnerabilities in complex software systems. Current projects include specialized kernel bug detection, web browser accessibility-related bug detection, compiler optimization bug identification, and automated exploit generation.

We investigate new attack vectors and fortification techniques for cyber-physical systems such as robots, drones, and IoT devices. Current projects include sensor-based attacks on UAVs, battery depletion attacks, and autonomous driving system testing.

We explore techniques for analyzing systems and protocols where internals may not be fully visible. Current projects include code coverage reconstruction through power consumption measurement, anomaly detection via acoustic signatures, and secure communication via inaudible signals.

We study vulnerabilities and novel applications of Large Language Models (LLMs) and AI in security-critical contexts. Current projects include LLM vulnerability discovery, LLM-driven software testing, and security issues in multimodal models.

We pursue cutting-edge techniques and frameworks to improve the security, testing, and analysis of modern computing systems. Research themes include advanced fuzzing, symbolic execution, automated test generation, and hardware/software interaction analysis.