目录
系统软件安全专题
系统软件安全专题前言杨珉;张超;宋富;张源;1959-1960
反例引导的C代码空间流模型检测方法于银菠;刘家佳;慕德俊;1961-1977
TaintPoint:使用活跃轨迹高效挖掘污点风格漏洞方浩然;郭帆;李航宇;1978-1995
基于前馈神经网络的编译器测试用例生成方法徐浩然;王勇军;黄志坚;解培岱;范书珲;1996-2011
面向SGX2代新型可信执行环境的内存优化系统李明煜;夏虞斌;陈海波;2012-2029
基于深度学习的Linux内核引用计数字段识别方法谈心;杨悉瑜;曹家俊;张源;2030-2046
基于Toast重复绘制机制的口令攻击技术凌振;杨彦;刘睿钊;张悦;贾康;杨明;2047-2060
开源C/C++静态软件缺陷检测工具实证研究李广威;袁挺;李炼;2061-2081
面向缓解机制评估的自动化信息泄露方法杨松涛;陈凯翔;王准;张超;2082-2096
一种采用对抗学习的跨项目缺陷预测方法邢颖;钱晓萌;管宇;章世豪;赵梦赐;林婉婷;2097-2112
定理证明理论与应用专题
定理证明理论与应用专题前言曹钦翔;詹博华;赵永望;2113-2114
机械化验证一个高效的迭代数据流求解算法江南;汪吕蒙;张晓瞳;何炎祥;2115-2126
步进索引模型下的语义及其形式化
郭昊;曹钦翔;2127-2149
多旋翼飞控推进子系统的Coq形式化验证石正璞;崔敏;谢果君;陈钢;2150-2171
支持索引式的PPTL定理证明器的实现王小兵;寇蒙莎;李春奕;赵亮;2172-2188
基于精化的可信执行环境内存隔离机制验证靳翠珍;张倩颖;马雨薇;李希萌;王国辉;施智平;关永;2189-2207
基于Coq的杨忠道定理形式化证明严升;郁文生;付尧顺;2208-2223
基于Coq的矩阵代码生成技术麻莹莹;陈钢;2224-2245
机器人碰撞检测方法形式化陈善言;关永;施智平;王国辉;2246-2263
一种基于分离逻辑的块云存储系统验证工具张博闻;金钊;王捍贫;曹永知;2264-2287
系统软件与软件工程
重复软件缺陷报告检测方法综述郑炜;王晓龙;陈翔;夏鑫;廖慧玲;刘程远;孙瑞阳;2288-2311
面向安全关键内存管理系统分层验证方法李少峰;乔磊;杨孟飞;张锦坤;马智;刘洪标;2312-2330
数据库技术
面向查询式实体解析的多属性数据索引技术孙琛琛;申德荣;肖迎元;李玉坤;2331-2347
计算机网络与信息安全
基于混洗差分隐私的直方图发布方法张啸剑;徐雅鑫;夏庆荣;2348-2363