学术报告:Self-enforcing security protocols

发布人:张艺凡发布时间:2021-12-13动态浏览次数:10

时间:2021年1216日星期四晚上7:00pm-8:00pm(北京时间)

地点线上腾讯会议(ID: 689-699-700


报告人:Feng Hao,英国华威大学,教授

题目:Self-enforcing security protocols


内容简介:In this talk, I will explain self-enforcing security protocols, a type of protocols that do not depend on any trusted third parties and that are useful for building real-world applications. I will give four seemingly different but inherently related examples to illustrate how such protocols work, including anonymous veto, password authenticated key exchange, self-enforcing e-voting, and self-enforcing e-auction.

 

个人简介: Feng Hao is a Professor of Security Engineering and Head of the Systems and Security research theme at the Department of Computer Science, University of Warwick. He received his PhD in 2007 in Computer Science from the University of Cambridge. With colleagues, he designed a few cryptographic protocols: AV-net, OV-net, J-PAKE, YAK, DRE-i, DRE-ip and SEAL. J-PAKE (with Peter Ryan) has been adopted by the Thread Group as a de facto standard to perform the IoT commissioning process (used in Google Nest, ARM mbed, NXP, Qualcomm, Samsung, and Texas Instruments IoT products, etc) and standardized in ISO/IEC 11770-4. DRE-ip (with Siamak Shahandashti) was successfully trialled in Gateshead during the UK local elections on 2 May 2019 (reported in BBC news). His 2006 paper on Combining crypto with biometrics effectively (IEEE Trans. Computers) is ranked the top in Google Classic papers in the category of cryptography & computer security. His work on Self-enforcing e-voting has led to a €1.5m ERC starting grant and an ERC proof-of-concept grant. With Peter Ryan, he co-edited a book Real-World Electronic Voting: Design, Analysis and Deployment (CRC Press, 2017) to consolidate the state-of-the-art research in the e-voting field.


中文简介:Feng Hao 教授是英国华威大学计算机科学系系统与安全研究团队负责人,2007年从英国剑桥大学获得博士学位。他的团队设计了一些列的密码学协议:AV-net, OV-net, J-PAKE, YAK, DRE-i, DRE-ip and SEAL. J-PAKE。J-PAKE协议被被标准化(ISO/IEC 11770-4),并且被Thread Group作为物联网调试过程的事实标准,如Google Nest, ARM mbed,NXP,Qualcomm, Samsung,Texas Instruments IoT products 等。在2019年5月2日的英国地方选举中,DRE-ip协议被在盖茨黑德市成功试用。他2006年发表在IEEE Transactions on Computer上的文章“combining crypto with biometrics effectively”被Google 列为“密码学与计算机安全”领域的经典论文。他的研究工作“self-enforcing e-voting”从欧盟研究基金获得了150万欧元的初创基金和概念验证基金。他与Peter Ryan教授合著题为“Real-World Electronic Voting: Design, Analysis and Deployment”的书一部。该书于2007年由CRC出版社出版,介绍了电子选举研究领域的最新成果。