活动类别：必赢线路检测中心学术报告

讲座时间： 15:00

讲座日期： 2016-08-29

讲座地点：长安校区 文津楼三段6层622报告厅

主办单位：必赢线路检测中心 网络信息安全研究团队

讲座题目一：可证明安全的程序混淆：模型、构造与应用

讲座人：  张明武 教授

讲座时间：15：00-16：15

讲座内容简介：

生成发布的程序中可能隐含有诸如技术细节等私密信息，防止被利用反编译等手段破解，是软件保护研究的重要内容。程序混淆将一个程序转化为相同功能新的程序，但无法从混淆程序中获得有关原程序中的有用信息，以达到对程序算法、数据结构或常量的机密与隐私保护保护能力。本报告中，我们从密码学上研究和设计可证明安全的程序混淆，可达到可证明上的“程序”语义安全保护。并从简单函数的混淆作为突破口，给出其构造实现方式，同时给出不同混淆安全模型以及在不同应用环境中的混淆的具体应用。

讲座人简介：

张明武，博士(后)，博士生导师，三级教授，湖北省“楚天学者”特聘教授。现任湖北工业大学计算机学院副院长，大数据安全与隐私保护技术研究中心主任。2006-2010年入选广东省第四批 “千百十”校重点培养对象; 2007-2008年入选广东省优秀青年“育苗工程”；2010.8-2012.9日本九州大学数理研究院从事博士后（JSPS外国特别研究员项目资助）研究；2012年受聘为湖北省“楚天学者”特聘教授; 2015.6-2016.6在澳大利亚伍伦贡大学从事访问学者研究。

主要研究方向为开放式网络中的大数据安全与隐私保护、敏感信息泄漏下的安全协议、混淆与系统等。近年来主持各类科学研究项目20余项。近年来，获得省级科技进步二等奖1项(2003)、三等奖1项(2015)，省自然科学三等奖1项(2014)，武汉市科技进步二等奖1项(2015)。申请专利19项(已授权9项，公开4项)，获得软件著作权11项。近年来公开出版学术专著1部(独著),主(副)编教材6本，在国内外学术期刊和会议上公开发表学术论文70余篇，其中SCI收录30余篇、EI收录40余篇。

讲座题目二：云数据完整性验证研究进展

讲座人：  禹  勇 教授

讲座时间：16:15-17:30

讲座内容简介：

        云存储服务大大减轻了用户的数据管理负担。然而，云服务提供商不是完全可信的，数据在云端是否完好保存即云数据完整性成为用户最大的担忧。云数据完整性验证协议是一种在无需下载云数据的前提下实现云数据完整性检测的轻量型协议。报告介绍云数据完整性协议的设计方法和研究进展，包括基于同态认证子的协议，以及近期的研究热点如公开云数据完整性验证、面向群体用户的云数据完整性验证、隐私保护的云数据完整性验证和基于生物特征的云数据完整性验证等。

讲座人简介：

2008年获西安电子科技大学密码学博士学位，2010年起任电子科技大学副教授，电子科技大学基础星火研究组成员(年薪制),电子科技大学计算机学院基础研究组成员。2012年获澳大利亚Wollongong大学执行校长研究员职位(全球6%成功率)。主要研究方向：公钥密码理论及其应用。在IEEE Trans on Information Forensics and Security, IEEE Trans on Parallel and Distributed System ，IEEE Trans on Service Computing等国内外期刊发表学术论文40余篇。主持国家自然科学基金项目2项，信息安全国家重点实验室开放课题等项目6项。担任自然科学基金委通信评议专家，国际会议ProvSec 2017, CS 2015，LSNS 2014等大会主席，Computer Standards & Interface等3个SCI期刊的专刊编辑，30多个国际和国内期刊、会议的审稿人。