보안성 분석 및 검증 연구실
Security Analysis & VErification Laboratory
Embedded Files
Welcome to SAVE LAB
Welcome to SAVE LAB
The Security Analysis & Verification Laboratory (SAVE LAB) is actively engaged in researching the design and formal verification of security protocols in various environments, such as 5G/6G, IoT, and non-terrestrial networks.
SAVE LAB에 온 것을 환영합니다
SAVE LAB에 온 것을 환영합니다
보안성 분석 및 검증 연구실 (SAVE LAB)에서는 5G/6G, IoT, 비지상망 등 다양한 환경에서 활용되는
보안 프로토콜의 표준 분석 및 개선, 설계, 정형 검증 연구를 진행하고 있습니다.
SAVE NEWS
SAVE NEWS
SCI 논문 게재 (IJSWIS)
이승빈 석사과정
KCI 논문 게재
(한국차세대컴퓨팅학회 논문지)
이승빈 석사과정, 강경아 학부생
2025학년도 1학기
대학원 진학
(석사과정 이승빈)
ICNGC 2024 Promising Young Scholar Award 수상
보안성 분석 및 검증 연구실
보안성 분석 및 검증 연구실
Security Analysis & Verification Laboratory (SAVE LAB)
대한민국 경상남도 진주시 진주대로 501, 경상국립대학교 601동 601호
Gyeongsang National University 601-601,
501, Jinju-daero, Jinju-si, Gyeongsangnam-do, 52828 Republic of Korea
Gyeongsang National University 601-601,
501, Jinju-daero, Jinju-si, Gyeongsangnam-do, 52828 Republic of Korea
Page updated
Google Sites
Report abuse