BEGIN:VCALENDAR
VERSION:2.0
METHOD:PUBLISH
CALSCALE:GREGORIAN
PRODID:-//WordPress - MECv6.2.0//EN
X-ORIGINAL-URL:https://www.inesc-id.pt/
X-WR-CALNAME:INESC-ID
X-WR-CALDESC:25 Years Defining Technology
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-PUBLISHED-TTL:PT1H
X-MS-OLK-FORCEINSPECTOROPEN:TRUE
BEGIN:VEVENT
CLASS:PUBLIC
UID:MEC-3d8c34ed1d91e42e80ccda0c6dd0b027@inesc-id.pt
DTSTART:20260108T150000Z
DTEND:20260108T180000Z
DTSTAMP:20260106T184800Z
CREATED:20260106
LAST-MODIFIED:20260107
PRIORITY:5
TRANSP:OPAQUE
SUMMARY:Seminar @ INESC-ID by Peter Ryan: “From Individual Verifiability to Universally Verified Cast as Intended”
DESCRIPTION:Abstract:\nEnd-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.\nPeter Ryan ( https://www.uni.lu/en/people/peter-y-a-ryan/ ) (University for Luxembourg)\nDate & Time: January 8, 15h00Location: Room 9 (Auditorium) | INESC Building, R. Alves Redol 9\n
URL:https://www.inesc-id.pt/events/seminar-inesc-id-by-peter-ryan-from-individual-verifiability-to-universally-verified-cast-as-intended/
CATEGORIES:Events,Seminar
ATTACH;FMTTYPE=image/png:https://www.inesc-id.pt/wp-content/uploads/2026/01/PeterRyan.png
END:VEVENT
END:VCALENDAR