컨테이너·네트워크 환경에서 보안 정책을 자동으로 도출하고 검증 절차를 거쳐 일관되게 집행하는 연구입니다.
SDN·IoT·서버리스의 동적 동작 흐름에서 취약 유발 입력을 생성하고 정책 위반을 실시간으로 검출·차단하는 연구입니다.
SmartNIC을 활용해 네트워크 패킷과 호스트 이벤트를 상관 분석하여 봇넷을 식별·대응하고, 다크웹 은닉 서비스의 근원지를 추적하는 연구입니다.