![]() |
![]() |
University of Birmingham > Talks@bham > Computer Security Seminars > Universally Verifiable MPC with Applications to IRV Ballot Counting
Universally Verifiable MPC with Applications to IRV Ballot CountingAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Dr Garfield Benjamin. We present a very simple universally verifiable MPC protocol. The first component is a threshold somewhat homomorphic cryptosystem that permits an arbitrary number of additions (in the source group), followed by a single multiplication, followed by an arbitrary number of additions in the target group. The second component is a black-box construction of universally verifiable distributed encryption switching between any public key encryption schemes supporting shared setup and key generation phases, as long as the schemes satisfy some natural additive-homomorphic properties. This allows us to switch back from the target group to the source group, and hence perform an arbitrary number of multiplications. The key generation algorithm of our prototypical cryptoystem, which is based upon concurrent verifiable secret sharing, permits robust re-construction of powers of a shared secret. We demonstrate the scalability of distribution switching as a viable approach to secure vote tallying by implementing a private verifiable form of Instant Runoff Voting on real Australian election data comprising 40,000 votes. This is based on joint work with Chris Culnane, Kim Ramchen and Vanessa Teague This talk is part of the Computer Security Seminars series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsCold Atoms Type the title of a new list here Type the title of a new list hereOther talksGeometry of alternating projections in metric spaces with bounded curvature Modelling uncertainty in image analysis. TBC Well Founded Coalgebras Seminar: TBA Seminar: TBA |