본 연구실은 모바일 인터넷 보안 연구실로서 IoT 장치의 보안 내재화 연구 및 5G를 비롯한 이동통신 네트워크의 보안 연구를 수행하고 있습니다. 드론, 이식 가능한 의료 장치와 같은 IoT 장치에 침입 탐지 시스템을 내재화하고 보안 프로토콜을 설계하여 외부의 공격자로부터 시스템을 보호하는 연구와 이동통신 기술인 5G의 유무선 구간에서 발생할 수 있는 취약점을 분석하고 보안 위협으로부터 이동통신 네트워크를 안전하게 보호하기 위한 연구를 진행하고 있습니다. 또한, 본 연구실에서는 보안성 정형화 검증 도구인 BAN-Logic, Avispa Tool, Scyther, Tamarin prover 등을 활용하여 보안 프로토콜 설계 시 취약점을 분석하고 개선하여 보다 안전한 프로토콜 설계를 할 수 있는 연구를 활발히 수행하고 있습니다.