Seminar @ INESC-ID by Peter Ryan: “From Individual Verifiability to Universally Verified Cast as Intended”
Abstract:
End-to-end verifiability has long been the holy grail in the quest for demonstrably trustworthy elections, aiming to ensure that election systems generate sufficient evidence to detect any corruption of votes. Many existing schemes rely on “individual” audits that can only be performed by voters, but most voters prefer simply to vote and go, and in practice few perform any checks. This is problematic because if too few voters carry out these checks, the election cannot be deemed to be verified, even if the system is verifiable. The described constructions allow individual audits to be outsourced to independent auditors and observers, transforming individual checks into universal ones. This improves usability and acceptability and ensures that elections are fully verified, with ballot audits reduced to straightforward cryptographic signature verification.
Peter Ryan (University for Luxembourg)
Date & Time: January 8, 15h00
Location: Room 9 (Auditorium) | INESC Building, R. Alves Redol 9
About INESC-ID
INESC-ID, “Instituto de Engenharia de Sistemas e Computadores: Investigação e Desenvolvimento em Lisboa” is a Research and Development and Innovation Organization (R&D+i) in the fields of Computer Science and Electrical and Computer Engineering. INESC-ID mission is to produce added value to people and society, supporting the response of public policies to scientific, health, environmental, cultural, social, economic and political challenges. INESC-ID promotes cooperation between academia and industry by addressing research on daily life issues, such as healthcare, space, mobility, agri-food, industry 4.0, and smart grids. This high level of knowledge transfer is achieved through both competitive research projects and direct contracted research. Public and private entities have therefore access to a pool of knowledge, resources and services provided through the unique competencies available at the institution.
INESC-ID is supported by:
