智能化系统越来越多地部署在对安全性至关重要的领域中，包括无人驾驶汽车和恶意软件检测。在这些领域中，系统行为的正确性和可预测性对于极端案例输入是至关重要的。软件测试作为软件部署前的重要保障，应最大限度地找到可能引起系统出现问题的输入，如何将传统软件测试技术引入智能化系统测试是近年来软件测试研究的一个重要领域。在本次报告中，介绍了智能化系统的安全测试方法，重点说明了两种传统软件的白盒测试方法——覆盖测试和突变测试，并阐述了两篇论文，说明如何将这两种技术应用于智能化系统测试，最终总结分析优势劣势。
智能化系统的安全测试方法-王若辉原创文章，作者：bfs，如若转载，请注明出处：https://www.isclab.org.cn/2021/03/23/%e6%99%ba%e8%83%bd%e5%8c%96%e7%b3%bb%e7%bb%9f%e7%9a%84%e5%ae%89%e5%85%a8%e6%b5%8b%e8%af%95%e6%96%b9%e6%b3%95/
归一化流（Normalizing Flows）是一类生成模型，它利用一系列可逆变换将简单分布映射为复杂数据分布，具有精确计算概率密度的能力。在表格数据生成领域，归一化流的应用对于理…
本次报告围绕大模型越狱攻击的检测技术展开，首先阐述了越狱检测的定义，然后介绍了常见的越狱攻击以及检测技术的研究现状。接着详细介绍了GradSafe和JailGuard两种主流方法，…
摘要：本报告介绍了深度神经网络模型水印的基本概念和嵌入方式，并讲述了两种深度神经网络模型水印保护方法，从水印嵌入、提取和验证三个角度分析了保护模型的原理，提升对模型知识产权保护的认…
人工智能技术在决策系统等领域发挥了重要作用。用于模型训练的数据集中含有显示或者隐式的敏感属性，模型往往会利用敏感属性的特征做出决策，导致人工智能模型在公平性方面出现偏差，产生严重的…
本次报告分享的主题是基于智能体的自动化漏洞重现方法，报告通过梳理漏洞重现领域的基本发展历程和基本概念，然后讲解两种不同类型的智能体系统构建方法，分别针对通用应用程序漏洞PoV生成和…
HTTP 协议本身并不复杂，理解起来也不会花费太多学习成本，但很多前端工程师常常忽视了 HTTP 协议这部分基础内容。实际上，如果想要在专业技术道路上走得更坚实，绝对不能绕开学习 …
NER作为自然语言处理中的一项基础任务，应用范围非常广泛。命名实体识别是许多任务的基本组成部分，并已被深度神经网络大大推进。目前NER只是在有限的领域和实体类型中取得了较好的成绩，…
1. 简介 VUPEN在Pwn2Own2013上利用此漏洞攻破了Win8+IE10，5月22日VUPEN在其博客上公布了漏洞的细节。它是一个ORG 数组整数溢出漏洞，由于此漏洞的特…
本学术报告系统梳理了机器合成数据生成技术（GAN/VAE/扩散模型）的发展脉络，重点解读了两篇顶会论文——TabDiff（ICLR 2025，面向表格数据的混合型扩散模型）和Fai…
