The SAVE Lab is dedicated to formal verification research in next-generation communication security. We design and analyze security protocols for 5G/6G networks, IoT systems, and non-terrestrial networks using rigorous mathematical methodologies. Through international standards collaboration and practical security solutions, we build trustworthy digital infrastructure.
We welcome passionate researchers interested in advancing cybersecurity excellence globally.