BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:Europe/Vienna
BEGIN:DAYLIGHT
DTSTART:20170326T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20171029T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260428T073137Z
UID:591af489505c9950495089@ist.ac.at
DTSTART:20170518T130000
DTEND:20170518T140000
DESCRIPTION:Speaker: Federico Giacon\nhosted by Krzysztof Pietrzak\nAbstrac
 t: In practice\, public key encryption (PKE) is routinely implemented by c
 ombining two cryptographic primitives: a key encapsulation mechanism\n(KEM
 ) and a data encapsulation mechanism (DEM). The known notion of multi-user
  security for PKE allows the adversary to query a challenge encryption ora
 cle on related messages addressing different users. We extend this idea to
  multi-user security notions for KEMs and DEMs\, which give rise to a very
  natural composition theorem. We then expand on the security of determinis
 tic DEMs by studying their resilience against certain generic attacks. The
  effectiveness of the latter motivates our definition of an augmented data
  encapsulation mechanism\n(ADEM): a DEM that takes besides key and message
  an additional "tag"\ninput for encapsulation. In the corresponding securi
 ty model the tag is randomly picked during challenge encapsulation\, and g
 iven to the adversary together with the ciphertext. To provide a better un
 derstanding of this principle we propose some ADEM constructions based on 
 the CTR mode of operation using idealized primitives. We analyze the secur
 ity of our schemes\, as well as of standard DEMs\, and relate them to each
  other.
LOCATION:Computer Science Room (I01.2OG.)\, ISTA
ORGANIZER:abonvent@ist.ac.at
SUMMARY:Federico Giacon: Security of data encapsulation mechanisms in the m
 ulti-user setting
URL:https://talks-calendar.ista.ac.at/events/622
END:VEVENT
END:VCALENDAR
