报告时间：12月2日（明天）下午14点 报告地点：理科大楼B211讲座

报告题目: 基于提示词工程的大模型安全报告时间：2023年11月9日15:00报告地点：理科楼b1002主持人：赵涌鑫报告摘要:随着大模型在各种领域如医疗、金融、娱乐和教育的广泛应用，其带来的安全挑战也逐渐浮现。大模型虽然为我们带来了很多便利，但与此同时，与其相关的安全隐患也开始备受工业界与学术界的关注。在本次报告中，我们将深入探讨了大语言模型中出现的一种新型且危险的攻击方法——提示词注入攻击。这种攻击利用特定的提示词来诱导模型产生非预期的输出。除此之外，我们还详细研究了大模型越狱问题，这是一个关于如何逃避模型原有对齐限制的技术挑战。报告将分享大模型越狱提示词的最新实证研究进展，并深入讨论如何运用自动化工具来加速和完善这种攻击方式。报告人简介:刘艺，南洋理工大学计算机科学与工程学院博士研究生，师从国际软件工程领域知名专家刘杨教授。主要研究方向为大模型安全，软件测试等。他的研究主要集中在大模型安全和软件测试，相关工作发表在USENIX、SP、NDSS、ICSE、ASE等顶级国际会议上。在大模型安全上，他较早完成了越狱提示词的实证研究，并设计自动化越狱提示词生成方法；同时，在提示词注入方面

报告题目: “域F_2^n上MDS变换的更广泛构造问题”报告时间：2023年10月24日 9:00-12:00报告地点：理科楼B211主持人：张磊报告摘要:最大距离可分（MDS）码在密码学中分支数最大，常用于分组密码的最优扩散层设计。例如，AES算法中，扩散层使用了域F_2^8上行元素为｛2,3,1,1｝的MDS循环矩阵，记为A矩阵。本报告研究域F_2^n上MDS变换的更广泛构造问题，扩展域F_2^n上元素倍乘运算，重新定义了一种基于循环移位与异或运算的参变量函数，获得基于己知MDS的更多MDS构造方法，给出了关于A矩阵的MDS变换簇，将现有MDS数量规模扩大O（n^2／2）倍。报告人简介:王金波，研究员，博士，中国网安公司高级专家。长期从事密码基础理论及标准化应用研究工作，主持和参与了国家信息安全标准专项、国家重点研发计划、军科委重点等系列国家重点项目，获省部级一等奖1项、二等奖1项等奖励，取得向量切触有理插值、循环移位MDS通用构造等公开成果。

报告题目:“布尔函数的性质及密码应用”报告时间：2023年10月24日 9:00-12:00报告地点：理科楼B211主持人：张磊报告摘要:布尔函数是对称密码算法的最基本组件，其密码学性质直接关系到密码算法的整体安全强度。本报告重点给出布尔函数的密码学性质，以及密码应用。报告人简介:张文政，研究员，中国电子科技集团公司首席专家，中国网安副总工程师，中国电科30所副总工程师，基础加强计划首席专家。上海交通大学、四川大学、电子科技大学兼职教授，2004年获“国务院政府特殊津贴”，2020年获“四川省劳动模范”。曾获得省部级一等奖1项、省部级二等奖3项，作为负责人承担国家重点研发计划、军科委基础加强计划、国家密码专项、863项目、创新探索等重大重点项目。公开出版专著5本、译著3本，获得发明专利授权7项，在国际、国内多种期刊、年会上发表学术论文60余篇。

报告题目: “The transparency order of (n,m)-functions”报告时间：2023年10月24日 9:00-12:00报告地点：理科楼B211主持人：张磊报告摘要:The transparency order (denoted by TO) is an useful measure of the robustness of (n, m)-functions to Differential Power Analysis (DPA). At first, we resolve this open problem which (n, m)- functions reach the upper bound on TO for odd n. We also investigate the tightness of upper and lower bounds related to RTO (redefined transparency order) and derive some relationships between RTO and main crypto

报告题目: 面向开源软件的兼容性分析研究报告时间：2023年9月25日（星期一）上午10点-12点报告地点：数学馆 东202会议室主持人：陈仪香 教授报告摘要:随着开源软件的广泛应用，其安全和维护成为研究的焦点。本研究主要关注用户在使用开源软件时，如何高效进行后期维护操作，例如安全问题的修复与软件的更新。为此，我们针对第三方开源代码的维护更新，提出了一种基于静态语义拟合的软件行为兼容性检测方法Sembid。在此基础上，我们进一步提出了在保证软件兼容性的前提下针对第三方漏洞的全局修复方案Coral。基于此，为了自动修复Maven生态中第三方软件长期存在的漏洞，我们提出了安全且兼容的版本范围恢复方案Ranger。实验结果表明，我们的方法能够保证开源软件升级的兼容性，并实现自动化地降低开源生态中的漏洞风险。报告人简介:张绿野现为新加坡南洋理工大学计算机科学与工程学院网络安全实验室博士生。此前，他在南洋理工大学获得硕士学位，在哈尔滨工程大学获得本科学位。张博士的主要研究方向为软件供应链安全，尤其是开源软件的安全分析、生态治理和软件成分分析等领域。他的相关研究成果已在ICSE、ASE、FSE等国