智能化系统越来越多地部署在对安全性至关重要的领域中，包括无人驾驶汽车和恶意软件检测。在这些领域中，系统行为的正确性和可预测性对于极端案例输入是至关重要的。软件测试作为软件部署前的重要保障，应最大限度地找到可能引起系统出现问题的输入，如何将传统软件测试技术引入智能化系统测试是近年来软件测试研究的一个重要领域。在本次报告中，介绍了智能化系统的安全测试方法，重点说明了两种传统软件的白盒测试方法——覆盖测试和突变测试，并阐述了两篇论文，说明如何将这两种技术应用于智能化系统测试，最终总结分析优势劣势。
智能化系统的安全测试方法-王若辉原创文章，作者：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/
安全漏洞的数量和复杂程度与日俱增，导致漏洞挖掘的成本也在不断升高。而近年对深度学习的研究使得机器具有分析学习能力，如何将深度学习算法应用漏洞挖掘技术成为研究热点。本次报告首先介绍了…
本次学术报告简单介绍了深度学习的定义和过程，并给出了基于Keras实现手写数字识别的基本过程和实验结果，讨论了设置不同batch s…
二进制文件复合类型恢复技术在程序理解、逆向分析和漏洞检测等领域具有关键价值，能够显著提升类型信息还原与代码语义解析的准确性与效率。该技术通过推断和重建结构体、数组等复杂数据类型，有…
以本人为主提出了基于ES（基本数据流层）的视, 音频剪辑算法；基于打包数据流层的视, 音频剪辑算法；基于PES流的视, 音频同步剪辑算法。并基于这些算法实现了基于MPEG-2码流的…
本次报告围绕大模型越狱攻击的检测技术展开，首先阐述了越狱检测的定义，然后介绍了常见的越狱攻击以及检测技术的研究现状。接着详细介绍了GradSafe和JailGuard两种主流方法，…
本报告介绍了强化学习领域基本概念，详细介绍了Q-Learning算法和Deep Q Learning算法的原理，简要梳理了了两种算法的发展脉络，以经典案例windy grid-wo…
认知扭曲是认知行为治疗中的核心概念，与抑郁、焦虑等心理障碍的形成和维持密切相关，但现有很多研究主要关注情绪倾向或表层语义，难以刻画个体更深层的思维偏差与认知模式，同时认知扭曲往往存…
本次报告围绕动态图神经网络的最新研究进展展开，重点探讨其在处理时序图数据中的关键技术与应用。报告首先介绍了动态图的结构特性与建模挑战，随后系统分析了主流动态图神经网络架构的设计思想…
