학부 인턴: 김량래, 이수왕, 신승훈

연구주제: 정형 검증 도구를 활용한 네트워크 슬라이싱 기반 미션 크리티컬 서비스 보안성 분석
연구주제: 네트워크 슬라이싱, 미션 크리티컬 서비스, 보안 프로토콜, 정형화 검증
기관: 한국철도기술연구원 
기간: 2023.10.10. - 2023.12.09. 

연구주제: NetApp 기반 차세대 5G 네트워크 서비스를 위한 인증 프레임워크 보안성 분석 연구
키워드: NetApp, 5G, 보안 프로토콜, 설계, 정형화 검증
기관: 한국연구재단
기간: 2023.03.01. - 2026.02.28.