The Security Analysis & VErification (SAVE) Lab, part of the Department of Computer Science and Engineering at Gyeongsang National University (GNU), conducts research on cybersecurity, security analysis, and formal verification for emerging digital and communication environments. Our primary focus is analyzing security threats and designing reliable security mechanisms for next-generation networks, including 5G/6G systems, Internet of Things (IoT), Internet of Medical Things (IoMT), and non-terrestrial networks (NTN). We also explore authentication protocols, secure communication protocols, zero-trust security, cloud-native security, AI-assisted security analysis, and formal verification techniques using logical and automated verification tools. Additionally, we are interested in practical cybersecurity applications such as QR code security, digital twin security, maritime communication security, and secure AI-driven systems. However, our research topics are not limited to these areas—we continuously explore new and meaningful topics related to cybersecurity, trustworthy system.