沈阳企业网站设计制作,文化网站设计经典案例,电子商务网站的建设内容,永久免费素材网ppt模板2023年CCF中国软件大会#xff08;CCF ChinaSoft 2023#xff09;由CCF主办#xff0c;CCF系统软件专委会、形式化方法专委会、软件工程专委会以及复旦大学联合承办#xff0c;将于2023年12月1-3日在上海国际会议中心举行。 本次大会主题是“智能化软件创新推动数字经济与社… 2023年CCF中国软件大会CCF ChinaSoft 2023由CCF主办CCF系统软件专委会、形式化方法专委会、软件工程专委会以及复旦大学联合承办将于2023年12月1-3日在上海国际会议中心举行。 本次大会主题是“智能化软件创新推动数字经济与社会发展”学术、工业、教育、竞赛等分论坛活动40余场期待您的参与 目前大会火热报名中早鸟注册early-bird registration10月22日截止提前注册付费锁定注册费优惠权益。 CCF ChinaSoft 2023官方首页 http://chinasoft.ccf.org.cn/ 点击文末“阅读原文”或扫描下方二维码进入官方注册通道: https://conf.ccf.org.cn/chinasoft2023 ✦ 论坛巡礼 论坛名称NASAC青年软件创新奖论坛 时间: 2023年12月3日下午14:00-15:30 地点: 上海国际会议中心上海厅 论坛简介 NASAC青年软件创新奖论坛旨在为全国从事软件工程、系统软件等研究领域的青年科技工作者提供学术交流平台向学术界介绍最新科学研究进展向工业界展示最新的技术发明、系统开发及应用成果向青年学生传播最新的学术思想和价值观。自2016年起本论坛邀请上年度“CCF NASAC青年软件创新奖”获得者作青年学者论坛报告以进一步促进中国青年软件人才成长激励中国青年软件人才“面向世界科技前沿、面向国家重大需求、面向国民经济主战场”立足自主创新与实践从而为推动中国软件发展做出重要贡献。 日程安排 Schedule 获奖者 Winners 姜宇 清华大学软件学院长聘副教授 研究方向为软件系统的安全分析重点关注操作系统、数据库等软件的测试与防护在MySQL、Safari和Linux等广泛使用的系统软件中挖掘300漏洞被收入中美国家信息安全漏洞库。研发的自动化漏洞挖掘技术被并入谷歌ClusterFuzz微软OneFuzz等平台。在ACM SOSP, IEEE SP, PLDI等会议和期刊上发表论文100余篇获EMSOFT, FSE等会议的最佳论文或提名奖6次主持基金委优秀青年科学基金、科技部重点研发计划项目、华为大颗粒研究计划项目等20余项。曾获2015年CCF优秀博士论文奖、2020年阿里巴巴达摩院青橙奖2021年微众学者等奖励。 报告题目 模糊测试研究与实践 报告摘要 模糊测试是一种有效的缺陷和漏洞检测技术,对提升软件质量和系统安全有着重要意义。但是在实际应用中依然存在一定难点尤其是无法针对不同类型复杂待测对象生成深度路径覆盖的有效输入。一方面不同的待测对象具有不同输入规范在特定状态下只有特定的输入才会被接受。另一方面现有的模糊测试依靠变异引导或文法生成会生成大量待测对象无法接受的无用输入或浅路径输入导致缺陷挖掘效率受限。本报告将围绕模糊测试的现状和上述难点展开介绍模糊测试系统关键组件的设计优化及不同待测对象适配技术研究和实践。 陈恺 中国科学院信息工程研究所研究员中国科学院大学教授/博士生导师 入选国家高层次人才计划前沿创新与科教融合中心主任信息安全国家重点实验室副主任《信息安全学报》编辑部主任。主持国家自然科学基金重大研究计划项目、重点项目等。主要研究领域包括系统安全、人工智能安全。在IEEE SP、USENIX Security、ACM CCS、NDSS、ICSE、ASE等发表论文100余篇。担任SP、USENIX Security、CCS等A类会议程序委员会成员。获中国科学院青年科学家奖、CCF-IEEE CS青年科学家奖、NASAC青年软件创新奖、北京市“杰出青年”基金、北京市智源青年科学家、中国科学院青年创新促进会优秀会员等。 报告题目 人工智能安全攻防对抗 报告摘要 近年来出现的人工智能技术对攻防对抗产生了重要影响。一方面它可赋能传统攻防手段使其智能化与高效化另一方面其自身的安全问题如对抗样本、神经网络后门、模型窃取等时刻影响着自动驾驶、面部识别支付等多种安全应用以及用户的隐私安全。这次报告将就这两方面展开重点讲述自然语言理解等人工智能技术在传统攻防中的应用也将会讲述智能系统自身的对抗问题。 夏虞斌 上海交通大学教授 上海市优秀学术带头人CCF杰出会员青年长江学者。长期从事操作系统、体系结构与系统安全方面的研究论文发表在OSDI、SOSP、ISCA、ToCS等国际会议和期刊多次担任OSDI、EuroSys等会议审稿人代表工作为RISC-V平台的“蓬莱”开源可信执行环境软硬件系统。曾获“挑战杯”特等奖优秀指导老师 CCF“NASAC青年软件创新奖”DSN“时间检验奖”等。 报告题目 软件系统的机密性与可维护性 报告摘要 近年来机密计算在许多场景获得了越来越多的应用。然而机密计算环境下的软件可维护性往往会降低因为维护本身可能会破坏机密计算的安全假设。本次报告将介绍机密计算环境下软件系统如何在机密性与可维护性之间进行权衡并以机密数据库HeDB为例介绍相关的实践和探索。
