南京大学计算机科学与技术系

软件新技术与产业化协同创新中心

摘 要：

MATE（Man-At-The-End）环境下，以符号执行为代表的分析技术给软件知识产权保护不断提出新挑战。BSA（Business Software Alliance）2018年发布的调查报告表明：全球软件非授权使用仍非常普遍、造成的损失巨大。报告介绍了利用Collatz猜想构造软件知识产权保护方案的思路，包括Collatz猜想简介，近年在利用Collatz猜想设计代码混淆、软件水印等软件保护方案方面的研究进展，并对使用数理思想构造软件保护方案进行了展望。

报告人简介:

贾春福，南开大学网络空间安全学院教授、博士生导师，信息安全系主任。研究领域包括系统与网络安全、软件安全与恶意代码分析、可信计算等。承担973计划、863计划、国家攀登计划项目和国家自然科学基金项目等12项，完成省部级项目10余项；发表论文120余篇，Google他引2000余篇次。2019年获网络安全优秀教师奖，2016年获南开大学优秀博士学位论文指导教师称号，2001年获天津市自然科学2等奖。

时间:10月12日 13:40-14:25

地点:计算机科学技术楼229室