葛琳 陈意云 李兆鹏 江苏苏州215123 王志芳 刘诚 王伟 田波

汇编代码验证 前（后）条件 指针分析 汇编语言 出具证明编译器 语言设计 类型检查 形式规范

安徽合肥 江苏苏州 中国科学技术大学计算机系 中国科学技术大学计算机科学技术系 中国科学技术大学计算机科学与技术系 中国科学院软件研究所计算机科学实验室 中国科学技术大学计算机科学与技术学院 中国科学技术大学苏州研究院软件安全实验室