学习、批判、守正、创新

实验室主要开展计算机系统领域与安全领域的研究,在传统和AI驱动的软件漏洞挖掘、软件生态安全、无线网络与车联网安全、云计算与大数据安全等方面取得了系列成果,并在现实世界发现大量漏洞;在密码学领域主要围绕公钥加密等值测试进行了系列研究,并对多个密码方案进行了安全性分析;在人工智能安全方面,延续在软件生态方面的研究,在AI系统与LLM基础设施安全等方面开展方法论与实证研究,发现LLM服务框架中系列漏洞,为AI安全做出实质性贡献:

    1.软件缺陷分析与漏洞挖掘。在模糊测试方面提出自适应变异调度(AMSFuzz,ESWA 2022)、多目标优化种子调度(MooFuzz,Mathematics 2021)、UAF漏洞测试器(Mathematics 2024);路径发现加速(AFLTurbo,ISSRE 2020)、操作导向时间分配(OTA,SANER 2021)、AcoFuzz自适应能量分配(ICSTW 2022)等方法;污点分析方面提出优化敏感数据追踪方法(EffiTaint,TrustCom 2024);二进制分析方面进行了数据表示上的改进,提出了跨架构双向树结构嵌入(Lanstree,CANS 2025)、改进了图注意力网络(BSGAT,PRDC 2023)等;漏洞根因方面,提出增强型统计根因分析(Sanitizer,ICST 2024);虚拟化漏洞方面,提出了QEMU USB设备黑盒逃逸漏洞检测方法(HITBSECCONF 2021);参与了面向应用与库的全函数模糊测试(AFGen,IEEE S&P 2024)的研究。研究成果还应用在第九届“强网杯”(2025)“行业领域专项赛-漏洞智能分析赛道”,获全国二等奖一项(奖金5万元)、优秀奖一项。

    2. 公钥密码方案与安全协议研究。围绕公钥加密等值测试(PKEET)提出系列方案:无证书PKEET(Information Sciences 2018)、PKEET/IBE/签密的通用构造(Information Sciences 2018)、支持灵活授权的无配对PKEET(Computer Communications 2021)、基于数据戳的授权机制(Theoretical Computer Science 2021)、身份基匹配加密等值测试(Entropy 2024)等;提出用对称加密与椭圆曲线替代双线性配对提升计算效率的方案(EPKEET-FA,MoMM 2026);提出身份基代理匹配加密用于云匿名消息系统(Journal of Systems Architecture 2023);分析了医疗无线传感器网络中无证书聚合签名方案的安全性(The Computer Journal 2024);还针对无证书签密、无泄漏身份基签名、匿名HIBE等方案进行了安全性分析(The Computer Journal、Computers & Security等,2015–2021)。

    3. AI系统与LLM基础设施安全。系统研究LLM服务框架中的缓存安全威胁,发现六种新型攻击向量,涉及vLLM、SGLang、GPTCache等主流框架,发现多个现实漏洞并获厂商致谢(NDSS 2026)。参与揭示AI服务媒体预处理管线中的语义鸿沟问题(ACM CCS 2026)。目前团队专注于进行AI系统、LLM基础设施、Agent等相关安全研究,成果持续服务工业界。

    4.软件供应链与生态安全。参与面向npm、PyPI、Maven、Go、NuGet、Cargo等软件源的大规模性系统性实证研究(IEEE S&P 2023),该研究共识别出12个攻击向量(6个首次披露);提出恶意npm包自动检测方法(Maldet,TrustCom 2024);面向Web3安全,提出Move智能合约函数可见性漏洞检测方法(FVscan,ICFTIC 2024)。

    5.无线网络与车联网安全。在无线局域网(802.11)的邪恶双子攻击检测方面,提出基于特殊长度帧到达时间的客户端检测方法(Security and Communication Networks 2019)、基于802.11数据帧统计特征的检测(IEICE 2018)、被动客户端检测方法(Trustcom 2017),以及BiRe双向SYN反射机制抵御多模型邪恶双子攻击(Computers & Security 2020)、基于相位误差漂移范围的PEDR检测方案(SecureComm 2020)。车联网方面,提出利用温度变化的ECU指纹进行CAN总线入侵检测与源识别(Security and Communication Networks 2020;IPCCC 2019)。

    6. 云与大数据隐私保护。发表了联邦学习隐私保护与鲁棒性综述(Concurrency and Computation 2024);研究了基于联邦学习的入侵检测系统所面临的对抗攻击(ICIC 2024);机器遗忘方面,提出高效机器遗忘混合框架(CCIS 2025)、随机森林惰性机器遗忘策略(WISA 2023);差分隐私方面,提出本地差分隐私下的空间数据发布方案(WISA 2022)。

    7. 可信执行环境(TEE)与系统运行时安全。构建指令级上下文模型对SGX运行时执行行为进行联合验证,并结合远程认证保障验证数据安全(SecSGX,ICIC 2026);实现生命周期感知的双向数据保护,在10个真实SGX应用上检测出数十个接口漏洞(GATEGuard,Frontiers of Computer Science 2026);提出基于SGX的在线投票协议,保障投票者隐私最大化(Journal of Systems Architecture 2024)。

    8.其他研究领域。提出基于浏览器缓存侧信道技术的浏览器指纹认证方案(Electronics 2024)、个性化联邦多任务学习用于加密流量分类(ICANN 2023)、基于BERT优化的日志异常检测方法(ICCCBDA 2022)、GRU与GA-Attention结合的日志异常检测方法(ICAIBD 2021)、基于混合集成学习的硬盘故障预测(Applied Sciences 2023)、基于深度学习的电力故障知识图谱(Applied Sciences 2022)等。

近几年发表的部分论文