关于我

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

研究方向：符号执行驱动的密码核设计安全验证

核心关注：

• 密码算法设计与形式化验证
• 硬件电路的符号执行与缺陷检测
• 安全芯片的自动化漏洞分析

网站导航

• 研究项目 - 在研/已完成项目、开源代码
• 技术博客 - 学习笔记、CTF、技术分析
• 代理加速 - 代理加速服务
• 资源工具 - 工具集、数据集、配置文件

最新动态

持续更新研究进展和学习心得…