个人简介

黄璇，西北工业大学网络空间安全学院2023级硕士研究生，2025级博士研究生（硕博连读）。

研究方向

符号执行驱动的密码核设计安全验证

主要研究内容包括：

• 密码算法的形式化验证与安全性分析
• 硬件电路的符号执行技术
• 安全芯片的自动化漏洞检测
• RTL级密码实现的缺陷发现

研究兴趣

• 形式化验证方法
• 符号执行引擎开发
• 硬件安全分析
• 密码学理论与应用
• 网络空间安全技术

教育背景

• 2025年 - 至今：西北工业大学 网络空间安全 博士研究生（硕博连读）
• 2023年 - 2025年：西北工业大学 网络空间安全 硕士研究生

技能特长

• 编程语言：Python, C/C++, Verilog/SystemVerilog
• 形式化工具：Z3, SMT Solver, 符号执行引擎
• 硬件工具：Verilator, Yosys, Surelog
• 密码学：算法实现与分析
• CTF：Crypto, Reverse, Pwn

联系方式

Email: aisnnu@qq.com

GitHub: https://github.com/lala-amber

欢迎学术交流与合作！