程序语义深度理解前沿进展专题

1. 前言
2. 抽象解释及其应用研究进展
3. 基于多线程并行的符号执行引擎设计与实现
4. 模糊测试中的静态插桩技术
5. Java 指针分析综述
6. 中断驱动型航天嵌入式软件原子性违反检测方法
7. 智能合约Gas 优化综述

网络与信息安全

1. 基于控制流和数据流分析的内存拷贝类函数识别技术
2. 支持多密文等值测试的无线体域网聚合签密方案
3. 支持一般电路的高效安全基于属性签名
4. 基于商密SM9 的属性基在线/离线签名方案
5. 移动边缘计算中基于云边端协同的任务卸载策略
6. 基于区块链的工业互联网动态密钥管理

人工智能

1. 面向边缘智能的协同推理综述
2. 基于摄像头域内域间合并的无监督行人重识别方法
3. 基于邻域一致性的点云场景流传播更新方法
4. 一种基于几何探测的快速黑盒边界攻击算法

图形图像处理

1. 高阶次Caputo 型分数阶微分算子及其图像增强应用
2. 基于上下文增强和特征提纯的小目标检测网络