DLS in Cybersecurity mit Peter Y. A. Ryan: Trust and Trustworthiness of Voting Systems
Ort: TU Darmstadt | Piloty-Gebäude S2|02 | Raum C 110 | Hochschulstraße 10 | Darmstadt
Dozent/-in: Prof. Peter Y. A. Ryan, University of Luxembourg
In this talk I will discuss attempts by the information security and crypto communities to address at least the technological core problems: making elections secure. It is essential that an election deliver not only the correct outcome, but also sufficient evidence to demonstrate to all, especially the losers, that it is correct. And of course, all this must be achieved without undermining ballot privacy or coercion resistance. In particular, I will outline a new voter-verification mechanism, Selene, that provides intuitive, transparent voter verification and coercion mitigation. I will also present an in-person instantiation of Selene, called Electyo, that provides additional assurance via risk limiting audits. Our hope is that this will provide not only a trustworthy system but also one that will inspire the trust of all stakeholders.
über Peter Y. A. Ryan
Peter Y. A. Ryan is full Professor of Applied Security at the University of Luxembourg since Feb 2009. Since joining the University of Luxembourg he has grown the APSIA (Applied Security and Information Assurance) group that is now more than 25 strong. He has around 25 years of experience in cryptography, information assurance and formal verification. He pioneered the application of process calculi to modelling and analysis of secure systems, firstly the characterization of non-interference and later to the analysis of crypto protocols. While at the Defense Research Agency, he initiated and led the “Modelling and Analysis of Security Protocols” project that pioneered the application of process algebra (CSP) and model-checking tools (FDR) to the analysis of security protocols.
He has published extensively on cryptography, cryptographic protocols, security policies, mathematical models of computer security and, most recently, voter-verifiable election systems. He is the (co-)creator of several innovative, verifiable voting schemes: Prêt à Voter, Pretty Good Democracy, vVote system (based on Prêt à Voter that was used successfully in Victoria State in November 2015), Caveat Coercitor, Selene and Electryo. With Feng Hao, he also developed the OpenVote boardroom voting scheme and the J-PAKE password based authenticated key establishment protocol. He also works on Quantum information assurance and the socio-technical aspects of security and trust. Prior to taking up the Chair in Luxembourg, he held a Chair in Computing Science at the University of Newcastle. Before that he worked at the Government Communications HQ (GCHQ), CESG, the Defence Research Agency (DRA) Malvern, the Stanford Research Institute (SRI), Cambridge UK and the Software Engineering Institute, CMU Pittsburgh.
He was awarded a PhD in mathematical physics from the University of London in 1982. Peter Ryan sits on or has sat on the program committees of numerous, prestigious security conferences, notably: IEEE Security and Privacy, IEEE Computer Security Foundations Workshop/Symposium (CSF), the European Symposium on Research in Computer Security (ESORICS), Workshop on Issues in Security (WITS). He has (co-)chaired various editions of WITS and ESORICS, Frontiers of Electronic Elections, Workshop on Trustworthy Elections (WOTE) 2007, Evote-Id. He is General Chair of ESORICS 2019, which will be hosted in Luxembourg. In 2016 he founded the Verifiable Voting series of workshops associated with Financial Crypto. From 1999 to 2007 he was the President of the ESORICS Steering Committee. In 2013 he was awarded the ESORICS Outstanding Service Award.
He is a Visiting Professor at Surrey University and the ENS Paris.