논문명: Semantic-Aware Security Protocol Design for 6G Non-Terrestrial Networks
저자: Jiyoon Kim, Seungbin Lee, Yongho Ko, Ilsun You
논문지: International Journal on Semantic Web and Information Systems
키워드: Formal Verification, Non-Terrestrial Networks, Security Protocol

논문명: 비지상 네트워크 환경에서의 게이트웨이 기반 핸드오버 보안 프로토콜 설계
저자: 이승빈, 강경아, 김지윤
논문지: 한국차세대컴퓨팅학회 논문지
키워드: Non-Terrestrial Network, Mobility Management, Handover, Formal Verification

석사과정: 이승빈

The 10th International Conference on Next Generation Computing (ICNGC 2024)
Young Promising Scholar Award

수상자: 김지윤 교수

2024년 한국정보기술학회 추계종합학술대회
우수논문상 은상

논문명: 위치 요소 기반 사용자 인증 프로토콜에 대한 정형검증 연구
저자: 이수왕, 이주현, 김지윤

2024년 한국정보기술학회 추계종합학술대회
우수논문상 동상

논문명: 이중토큰을 이용한 효율적인 Wi-Fi 보안 프로토콜에 대한 정형검증 연구
저자: 강경아, 김지윤

논문명: IP 카메라의 보안 취약점과 보안성 강화에 관한 연구
저자: 김량래, 조승현, 김지윤
논문지: 한국융합보안논문지
키워드: IP Camera, Information Security, End-to-End Protection

학부 인턴: 이예령

2024학년도 1학기 개척학기제 성과발표회

팀명: TALCHWI (김량래 외 1명)
과제명: 보안 취약점을 통한 정보 탈취 과정 연구
과제 내용: 무선 AP 환경에서 데이터 보안을 위한 종단 간 보안 프로토콜 설계

2023년도 한국융합보안학회 추계학술대회

수상자: 김지윤 교수

2023년 한국융합보안학회 추계학술대회

논문제목: 자동화 검증 도구 AVISPA를 이용한 TLS 1.3의 보안성 검증 연구
저자: 배정훈, 김지윤 외 1명
논문 내용: 검증 도구를 통한 TLS 1.3의 보안성 검증 연구