BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:Europe/Vienna
BEGIN:DAYLIGHT
DTSTART:20140330T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20141026T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260501T210540Z
UID:50040451116f6@ist.ac.at
DTSTART:20141020T163000
DTEND:20141020T173000
DESCRIPTION:Speaker: Moni Naor\nAbstract: Zero-knowledge proofs are protoco
 ls that prove an assertion without revealing any information beyond that a
 ssertion’s validity. Zero-knowledge proofs were first introduced by Goldw
 asser\, Micali\, and Rackoff in 1985.\nThe power of zero-knowledge proofs 
 is quite remarkable: anything that can be proved efficiently can be proved
  with a zero-knowledge protocol\, under the cryptographic assumption that 
 one-way functions exist.\nWhat happens when we move to physical properties
 ? For instance\, is it possible to prove that two DNA-fingerprints match\,
  or that they do not match\, without revealing any further information abo
 ut the fingerprints? Is it possible to prove that two objects have the sam
 e design without revealing the design itself? Zero-knowledge is not as wel
 l-developed in the context of problems that are inherently physical.\nIn t
 his talk I will describe the notion of zero-knowledge digital domain and t
 hen discuss recent work (with Ben Fisch and Daniel Freund\, Crypto 2014) o
 n protocols that prove physical properties of physical objects without rev
 ealing further information.
LOCATION:Raiffeisen Lecture Hall\, Central Building\, ISTA
ORGANIZER:ihetzenauer@ist.ac.at
SUMMARY:Moni Naor: Institute Colloquium: Physical zero-knowledge
URL:https://talks-calendar.ista.ac.at/events/523
END:VEVENT
END:VCALENDAR