崔平非 任华 杨克峤 岳峰 王斌 王怀民 赵荣彩 王杰锋 韩小素 朱晓珺 闫锋 姜凡 张一弛

恶意代码变种 精确的数组数据流分析 函数式语言 认证 LWT树的交叉 电子商务 Haskell 恶意代码检测 状态转换 反汇编 惰性计算 加密 高阶函数 恶意程序 反编译 代码混淆 CA 终写树 Radux 类型理论 可执行链接格式 支持向量机 安全 签名 模糊推理 列表内涵 模板 语义性质验证 过程识别 逻辑框架

河南郑州 国防科技大学计算机学院 解放军信息工程大学信息工程学院计算机系 解放军信息工程大学信息工程学院计算机科学... 信息工程大学信息工程学院 解放军信息工程大学信息工程学院