地点：北校区新科技楼1012报告厅

时间：2018年3月21日(周三)

题目一：Blockchain: Construction, Applications and Research

报告人：Prof. Yi Mu，Wollongong University, Australia

Abstract:Blockchain technology has exhibited many useful applications such as bitcoin, smart contract, voting, IoT, etc. In this talk, the blokchain technology will be introduced in terms of its theoretical foundation and applications. In particular, we will walk through the key path and history the blockchain has been developed and understand the research foci of the crypto community. Hope that from this talk, we could have a good picture of blockchain, its applications and research.

Biography: Professor Yi Mu received his PhD from the Australian National University in 1994. He is currently a full professor and Director of Centre for Computer and Information Security Research at University of Wollongong, Australia. He was the Head of School of Computer Science and Software Engineering at University of Wollongong during 2011-2015. His current research interest includes cryptography, information security and quantum cryptography. He has published over 400 research papers, including over 160 journal papers and many papers at top-tier cryptography conferences such as Eurocrypt, Asiacrypt, PKC, CT-RSA, FSE, etc. He has served as program chair and member of program committee over 200 conferences including ACM CCS, ESORICS, ACISP, AisaCCS, etc. and is currently a member of the steering committees of AsiaCCS, CANS and ProvSec. Professor Yi Mu is the editor-in-chief of International Journal of Applied Cryptography and serves as associate editor for nine other international journals. He is a senior member of the IEEE.

题目二：Optimal sensor scheduling for multiple linear dynamical systems

报告人：吴均峰研究员，浙江大学

Abstract：This talk considers the design of a collision-free network access protocol for a number of sensors which monitor different Gauss-Markov systems. At each time, only one of all the sensors can send its local estimate to the remote estimator. A preliminary work for the two-sensor scheduling case has been studied in the literature. The generalization into multiple-sensor scheduling case is shown to be nontrivial. We first find a necessary condition of the optimal solution provided that the spectral radii of any two system matrices are not equal, which can significantly reduce the feasible optimal solution space without loss of performance. By modelling a finite-state Markov decision process (MDP) problem, we can numerically search an asymptotic periodic schedule which is proven to be optimal. From a practical viewpoint, the computational complexity is formidable for some special system models, i.e, the spectral radii of some certain system matrices are far from others'. Some simple but effective numerical algorithms are proposed. We also find a lower bound of the optimal cost, which enables us to quantify the performance gap between any schedule and the optimal one.

报告人简介：吴均峰，浙江大学控制科学与工程学院“百人计划”特聘研究员。吴均峰博士2009年本科毕业于浙江大学，2013年博士毕业于香港科技大学，2013年、2014-2017年先后在香港科技大学、瑞典皇家理工大学（KTH）从事博士后研究工作。研究领域包括网络控制系统、信息物理融合系统、卡尔曼滤波、状态估计、多智能体系统、分布式优化算法设计与性能分析等。 

题目三：抗密钥泄漏的公钥加密系统

报告人：杨波教授，陕西师范大学

摘要：传统上的加密方案依赖于如下假定：诚实参与方的内部状态对攻击者来说是完全保密的。但是攻击者可能会通过各种边信道攻击，以获得诚实参与方的内部状态，这种攻击称为泄漏攻击。在泄漏攻击下，现有的许多可证明安全的密码方案在实际系统中不再保持其所声称的安全性。报告介绍抗密钥泄漏的公钥加密系统的模型、构造工具以及构造实例。

报告人简介：1963年5月出生，陕西师范大学二级教授、博士生导师，陕西省百人计划特聘教授，中国密码学会理事，中国密码学会密码算法专业委员会委员，《密码学报》编委。1986年获北京大学数学系学士学位，1993年获Betway必威手机版计算机系计算机软件硕士学位，1999年获Betway必威手机版通信工程学院密码学博士学位。1986年至2005年在Betway必威手机版工作，2005年至2011年在华南农业大学信息学院、软件学院工作，任经理。2011年起在陕西师范大学计算机科学院工作。已主持国家自然科学基金9项、“863”计划1项、国家密码发展基金1项、陕西省自然科学基金1项，广东省自然科学基金创新团队项目1项。发表论文300余篇，软件成果登记7项，申请专利11项，出版著作3部，其中《现代密码学（第四版）》是普通高等教育“十一五”国家级规划教材，2016年获国家网络安全优秀教材奖（中央网信办暨教育部评选），合著6部。

题目四：变色龙哈希函数在可证明安全密码学中的应用

报告人：高伟副教授，鲁东大学

摘要：变色龙哈希函数是一种经典的公钥密码原型，作为基础性工具在多种密码方案设计理论中发挥了重要作用。变色龙哈希函数的研究包括诸多方面，本次报告则主要考虑变色龙哈希函数作为底层构造工具，如何实现防二重认证签名（double authentication preventing signatures），紧致安全签名（tightly secure signatures）和公钥线性同态认证子（public key linear homomorphic Authenticators）等三种基础类密码原型的系统性构造。这三类密码方案的构造均可归结为变色龙哈希函数的构造，从而可以更为清晰、深刻地刻划这些密码原型的根本性质，同时这也吸引我们积极探索变色龙哈希函数作为基础密码工具在理论密码学中的重要作用。这三类密码方案的研究均是在可证明安全密码理论的框架下展开：首先，重新审视上层密码方案（即本报告考虑的三种密码方案）的安全需求，给出更为准确、细致、全面的安全性定义；其次，重新审视底层密码工具（主要是变色龙哈希函数）的密码学性质，给出更为细致、全面的基本性质扩展和刻划；进一步给出由变色龙哈希函数到上层密码方案的通用构造；最后给出安全性证明。 

报告人简介：高伟，副教授，博士，博士后，主要研究可证明公钥密码方案设计与分析，现任鲁东大学数学与统计科学学院信息与计算科学系主任。2003年硕士毕业于广州大学，2006年博士毕业于湖南大学，2012年上海交通大学博士后出站，2009年、2011年分别赴英国伯明翰大学和澳大利亚卧龙岗大学做访问学者，自2007年至今在鲁东大学工作,主持完成国家自然科学基金1项（容忍泄漏公钥加密方案的设计及安全性证明）、教育部项目1项（支持消费者隐私权益保护的数字版权保护研究）、山东省统计局科研课题重大项目1项、横向课题2项, 近三年在可证明安全密码学方面发表SCI期刊论文6篇。