报告题目：On Secure E-voting systems — End-2-endVerifiability, Privacy, Scalability
报告日期及时间：2017年06月01日星期四，上午10：00
报告地点：计算机学院大楼B-405
报告人：Bingsheng Zhang
报告人单位：Lancaster University, UK
报告人简介：Dr.Bingsheng Zhang is a lecturer (a.k.a. assistant professor) in the School ofComputing and Communications at Lancaster University and a member of theSecurity Lancaster, one of the first 8 Academic Centres of Excellence in CyberSecurity Research recognized by EPSRC and GCHQ, UK. He has various EPSRC grantsand is currently an active investigator in the EPSRC PETRAS Hub on Security,Privacy and Trust in the Internet of Things (EP/N023234/1). Dr. Zhangspecialises in cryptography and cyber security. He has published over 40 papersin the world’s leading top-tier security/cryptography conferences and journals,such as EUROCRYPT, ASIACRYPT, PKC, SCN, ACM CCS, ICDCS, PODC, FinancialCryptography, INFOCOM, IEEE TMC, and IEEE TIFS. In the recent years, his researchefforts mainly focus on verifiable cloud outsourcing, secure multi-partycomputation, end-2-end verifiable e-voting and blockchain security.
报告摘要：In anend-to-end (E2E) verifiable election system, voters have the ability to verifythat their vote was properly cast, recorded and tallied into the electionresult. Intuitively, the security property that an E2E verifiable electionintends to capture is the ability of the voters to detect a malicious electionauthority that tries to misrepresent the election outcome. In this talk, wewill introduce several recently developed techniques to achieve end-2-endverifiability, simulation-based privacy in the standard model. After that wewill also discuss how to enhance the scalability and accountability of such ane-voting system. The content of this talk is covered by the following 4papers/manuscripts.Reference:1. Aggelos Kiayias, ThomasZacharias, Bingsheng Zhang: DEMOS-2: Scalable E2E Verifiable Elections withoutRandom Oracles. ACM Conference on Computer and Communications Security 2015:352-3632. Aggelos Kiayias, ThomasZacharias, Bingsheng Zhang: End-to-End Verifiable Elections in the StandardModel. EUROCRYPT (2) 2015: 468-4983. Nikos Chondros, Bingsheng Zhang,et al.: D-DEMOS: A Distributed, End-to-End Verifiable, Internet Voting System.ICDCS 2016: 711-7204. Foteini Baldimtsi, AggelosKiayias, Thomas Zacharias, Bingsheng Zhang:Indistinguishable Proofs of Work orKnowledge. ASIACRYPT 2016
邀请人：王骞教授
