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.
We are looking for passionate researchers with an interest in the security field. Please contact us anytime.

SAVE LAB에 온 것을 환영합니다