安博网页版在线登录-ANBO(中国)

报告标题：大模型时代的AI安全研究转向：从传统模型攻防到生成式智能安全治理报告时间：6月4日15：00-17：00报告地点：理科大楼217报告摘要：随着大语言模型与多模态大模型的快速发展，人工智能安全研究正在经历一次重要转向。在传统深度学习时代，安全研究主要围绕CNN、RNN等小模型展开，重点关注后门攻击、对抗攻击、水印保护、模型窃取等问题。这些研究大多聚焦于判别式模型在训练阶段或推理阶段面临的安全风险，以及模型本身的鲁棒性与可控性。进入大模型时代后，模型能力边界显著扩展，应用场景更加开放复杂，安全问题也随之发生深刻变化，研究重点逐步扩展到大模型的内生安全评测、越狱攻击与防御、生成内容安全治理

报告标题：Neuro-Symbolic Vulnerability Detection and Exploitation报告时间：6月1日14：00-16：00报告地点：理科大楼217报告摘要：As part of the UEFI standard, System Management Mode (SMM) was introduced on x86 processors to handle critical hardware events. With strict access control to this operating mode, SMM applications run at

报告标题：Neuro-Symbolic Vulnerability Detection and Exploitation报告时间：5月18日16：00-17：00报告地点：理科大楼1014报告摘要：Recent years have witnessed unprecedented challenges in automated vulnerability detection and exploitation, driven by the rapid growth in scale and complexity of modern software systems. Traditional ru

报告标题：AgentOrchestrationwithTransitionSystemTheory报告时间：5月12日15：00-16：30报告地点：滴水湖国际软件安博网页版在线登录-ANBO(中国)502室报告摘要：Agent orchestration has emerged as a centralchallenge in building reliable multi-agentsystems, especially when complex tasks requirecoordination, adaptation, and verifiableexecution. We present a transition-

报告标题：The deal with Design by Contract and why it is worth the fuss报告时间：5月13日13：30-15：00报告地点：理科大楼B211报告摘要：Design by Contract is a discipline of software construction -- requirements, design, implementation, testing, proofs, documentation, management -- which profoundly changes the way we look at soft

报告标题：智能软件系统的缺陷测试与修复报告时间：5月6日15：00-17：00报告地点：数学馆201报告摘要：功能错误是移动应用软件（简称移动应用）中最常见的一类错误，可能导致严重的后果。然而，功能错误检测对手动和自动化测试而言皆具挑战性。基于性质的测试方法融合人工测试的知识优势与自动化测试的低成本优势，在移动应用功能测试中展现重要价值，但仍存在尚未解决的关键难题。为此，报告人进行了一系列研究，旨在解决现有技术存在的性质定义和错误定位难的问题。报告人首先提出跨应用的抽象性质定义方法，允许刻画功能在不同移动应用中应遵守的性质。此外，分别提出了基于性质的自动化功能错误检测与定位方法，可在移动应用中