黄文超

个人信息Personal Information

副教授

博士生导师

硕士生导师

电子邮箱：

研究领域

当前位置：中文主页 >> 科学研究 >> 研究领域

自动形式化分析方法
系统软件安全性自动分析
芯片安全性自动分析
安全协议全自动形式化分析
区块链底层协议与上层智能合约的安全性分析