华保健 李兆鹏 刘诚 王志芳 陈意云 徐天顺 马宏 江苏苏州215123

语言设计 形式规范 指针逻辑 出具证明编译器 会话初始协议 指针分析 软件安全 重定向服务器

江苏苏州 安徽合肥 河南郑州 中国科学技术大学计算机科学技术系 国家数字交换系统工程技术研究中心 中国科学技术大学计算机科学与技术系 中国科学技术大学苏州研究院软件安全实验室