学术报告:Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing-网络空间安全学院
学术动态

首页 >> 学术动态 >> 正文

学术报告:Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing

作者:       发布: 2018-08-07      来源:

打印


   

 Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing    


 

间:  2018813(周一) 下16:00  

报告人: Changyu Dong (董长宇)

 

报告摘要:  In this talk, I will present our recent attempt to achieve verifiabilityat a reasonable cost, by leveraging game theory and smart contracts, which is a newly developed paradigm on top of the blockchain technology.  We provide a formal analysis of the games induced by the contracts, and prove that the contracts will be effective under certain reasonable assumptions. By resorting to game theory and smart contracts, we are able to avoid heavy cryptographic protocols. The client only needs to pay two clouds to compute in the clear, and a small transaction fee to use the smart contracts. We also conducted a feasibility study that involves implementing the contracts in Solidity and running them on the official Ethereum network.

专家简介: Changyu Dong is a senior lecturer in security at Newcastle University, UK. He obtained his PhD from the Department of Computing at Imperial College London in 2009. His research interests fall under the broad heading of cyber security, including applied cryptography, cloud security, data privacy and blockchain. He has published more than 30 research papers in major journals and international conferences, including the most prestigious venues in security such as ACM CCS, ESORICS and Journal of Computer Security (JCS), IEEE Transactions on Dependable and Secure Computing (TDSC) and IEEE Transactions on Information Forensics and Security (TIFS). Three of his papers were selected as best paper at international conferences. He has served on and chaired program committees for many conferences and workshops, and is a regular invited reviewer for top international journals. Currently, he leads an EPSRC project “Practical Data-intensive Secure Computation: a Data Structural Approach”.