BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Giorgia Azzurra Marson - Speaker to be confirmed
DTSTART:20150722T090000Z
DTEND:20150722T100000Z
UID:TALK60166@talks.cam.ac.uk
CONTACT:Microsoft Research Cambridge Talks Admins
DESCRIPTION:In cryptography\, the common approach to defining secure chann
 els is to consider transportation of discrete messages provided via atomic
  encryption and decryption interfaces. This\, however\, ignores that many 
 real-world protocols (including TLS\, DTLS\, and SSH) offer streaming inte
 rfaces instead\, being exposed to the risk that the network (possibly unde
 r adversarial control) may deliver arbitrary fragments of ciphertexts to t
 he receiver.\n\nIn this talk I will present our recent study of stream-bas
 ed channels\, which addresses this deficiency by proposing functionality a
 nd security notions that take the peculiarities of streams into account.\n
 Moreover\, we prove (a generalization of) a well-known composition result\
 , stating that chosen-plaintext indistinguishability and ciphertext integr
 ity together imply chosen-ciphertext indistinguishability\, for the settin
 g of streaming channels. As a feasibility result\, we show how to construc
 t a stream-based channel from authenticated encryption.\n
LOCATION:Small lecture room\, Microsoft Research Ltd\, 21 Station Road\, C
 ambridge\, CB1 2FB
END:VEVENT
END:VCALENDAR