题目：神经网络是否可以被严谨地解释清楚？可解释性技术在大模型上的如何应用落地？报告时间：2024年5月16日（星期四）13：30报告地点：理科大楼B1002邀请人：张敏摘要:虽然近年来神经网络的可解释性研究得到了广泛的关注，但是大部分可解释性研究依然停留在工程技术层面，大量根本性问题尚未得到解决，尚缺少相对严谨的理论体系从根本机理层面统一解释神经网络的知识表达和其表征性能。比如，证明神经网络内在决策逻辑是否可以被严谨地解释为符号化的概念，如何量化神经网络的知识表征，什么是决定神经网络泛化性和鲁棒性的第一性原理，等等。本次报告将介绍如何在博弈交互理论体系下严谨地量化神经网络所建模的概念表征，如何

题目：从情景化谈普适计算系统的安全，隐私，与实用性报告时间：2024年3月13日（星期三）12：00-13：00报告会议号：腾讯会议912 979 916邀请人：万成城摘要:随着智能家居、语音助手、物联网设备的普及，普适计算已经成为了我们日常生活的一部分。与传统计算设备不同，普适计算设备经常需要与多名用户进行交互，不断地从周围环境中读取信息，自主地进行决策，并且缺乏常用的输入输出设备。当这些设备进入千家万户，与不同背景、不同身份的用户进行交互时，如何保障用户在不同情景下的安全隐私则成了让普适计算落地的重要挑战。本报告旨在深入探讨情景化在智能家居的访问控制系统中的重要性，以及在实际落地过程中必须

会议时间：13：30-17：00 会议地点：理科大楼B1002 主持人：张民教授

题目：从情景化谈普适计算系统的安全，隐私，与实用性报告时间：2024年3月13日（星期三）12：00-13：00报告会议号：腾讯会议912 979 916邀请人：万成城摘要:随着智能家居、语音助手、物联网设备的普及，普适计算已经成为了我们日常生活的一部分。与传统计算设备不同，普适计算设备经常需要与多名用户进行交互，不断地从周围环境中读取信息，自主地进行决策，并且缺乏常用的输入输出设备。当这些设备进入千家万户，与不同背景、不同身份的用户进行交互时，如何保障用户在不同情景下的安全隐私则成了让普适计算落地的重要挑战。本报告旨在深入探讨情景化在智能家居的访问控制系统中的重要性，以及在实际落地过程中必须

题目：Fair Scheduling for Time-dependent Resources报告时间：2024年1月12日（星期五）上午10点-12点报告地点：理科大楼B1002邀请人：许晨阳摘要:We study a fair resource scheduling problem, where a set of interval jobs are to be allocated to heterogeneous machines controlled by intellectual agents. Each job is associated with release time, dea

报告题目: PackGenome:自动生成准确检测恶意软件加壳的YARA规则报告时间：2024年1月8日 14:00报告地点：数学馆201主持人：曹珍富报告摘要:加壳是软件保护的重要技术之一，也同时被用于恶意软件保护。报告就恶意软件分析中加壳程序识别问题，以学术和工业界在大规模检测加壳程序使用最为广泛的YARA工具为平台，探讨用于高效识别加壳程序的检测规则自动生成方法，所生成规则的准确率和效果远超过现有公开的加壳程序检测规则。报告人简介:贾春福，南开大学网络空间安全学院教授、博士生导师，天津市网络与数据安全重点实验室主任。研究领域包括系统与网络安全、软件安全与恶意代码分析、密码学与应用等。承