报告时间：2018年8月16日8:30-10:00
报告地点：文津楼三段628报告厅
主办单位：计算机科学学院网络信息安全团队
报告人：董长宇
报告人简介：
董长宇是英国Newcastle大学的高级讲师。他于2009获得伦敦帝国理工大学博士学位。他的研究领域为网络空间安全，尤其是应用密码学。2006年以来，他已经在重要的国际期刊与很高声誉的国际会议如ACM CCS, ESORICS，Journal of Computer Security, IEEE Transactions on Dependable and Secure Computing and IEEE Transactions on Information Forensics and Security等发表学术论文30多篇。还担任几个国际会议和论坛的主持和Journal of Computer Security, IEEE Transactions on Dependable and Secure Computing and IEEE Transactions on Information Forensics and Security期刊的评阅人. 2011年以来, 开始研究有效的安全计算。他的研究已经在保密计算集合的交集和保密信息检索方面已经获得一些突破，并把这些研究运用到保密数据挖掘领域。
报告内容：
云计算已成为一个不可逆的潮流。云计算迫切需要可验证性：云服务提供商不同于用户，他们的利益可能指向不同，用户不可能完全信任云。出于各种原因，客户往往有验证计算结果正确性的需求。可是现有技术开销巨大，这就意味着如果客户使用这些技术，云计算将变得比使用自有数据中心更昂贵，这就背离了多数客户为削减成本而使用云计算的初衷。
在本报告中，我将介绍如何通过博弈论以及智能合约（一种基于区块链的新技术）来在合理的成本的前提下实现可验证云计算。简而言之，客户使用两个云来计算相同的任务，并用智能合约来实现经济激励机制，在两个云之间产生利益矛盾以及不信任感，结果就是在理性选择下两个云不会共谋来欺骗客户。没有了共谋，计算的正确性可以通过简单的检验结果是否一致来验证。我们对合约产生的博弈进行了形式化的分析，并证明在合理的假设下这些合约的有效性。通过博弈论和智能合约，我们可以避免使用昂贵的密码协议。客户只需要付两个云明文计算的费用以及使用智能合约带来的少量交易费。我们还进行了一些可行性研究，包括在以太坊平台上实现以及运行了我们的智能合约。
