eSI Public Lecture: "Trust and Security in Voting Systems" by Peter Ryan
In Association with eSI Thematic Programme: Trust and Security in Virtual Communities
12 June, 2008 04:00 PM - 05:00 PM
e-Science Institute, 15 South College Street, Edinburgh
Any slides or other material generated as a result of this event can be found at: www.nesc.ac.uk/action/esi/contribution.cfm?Title=896
Voting systems pose a particular challenge in that they are required to provide two conflicting requirements:
Ideally we would like to achieve this with minimal dependence on officials, software, hardware etc. In this talk I will describe the challenge of designing high-assurance voting systems. In particular I will describe the notion of voter-verifiablity: providing the voters with the means to confirm that their vote is accurately counted without undermining ballot secrecy and how this is achieved in the Prêt à Voter scheme.
Voting systems illustrate particularly cleary the complexities and paradoxes of the notion of trust: on the one hand we seek to minimise the need for trust, in the sense of dependence, on the other we seek to maximise trust in the sense of confidence. Voting systems need to be trustworthy and trusted. I will discuss how systems like Prêt à Voter seek to balance these requirements.
Peter Ryan is a Professor of Computing Science at the University of Newcastle. He has over 20 years of experience in information assurance and formal verification. He pioneered the application of process algebras to modelling and analysis of secure systems and initiated and led the project that developed the process algabra and model-checking approach to the analysis of security protocols. He has published extensively on cryptography, cryptographic protocols, security policies, mathematical models of computer security and, most recently, high assurance voting systems. He is the creator of the Prêt à Voter approach to verifiable voting. Prior to joining the University of Newcastle in 2002, he worked at GCHQ, CESG, the Defence Research Agency, Stanford Research Institute, Cambridge and the Software Engineering Institute, CMU Pittsburgh. He holds a PhD in mathematical physics from the University of London.
Full details on how to get to the e-Science Institute are available at:
Enquiries should be made directly to our Conference Administrator.
|The e-Science Institute Public Lecture Series|