![]() |
![]() |
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 listsPostgraduate Algebra Seminar Applied Mathematics Seminar Series Reading Group in Combinatorics and ProbabilityOther talksTime crystals, time quasicrystals, and time crystal dynamics The Holographic Universe Title tbc Plasmonic and photothermal properties of TiN nanomaterials Quantifying the economic and environmental effects of the RCEP TBA |