Giorgia Azzurra Marson

Add to your list(s) Download to your calendar using vCal

• Speaker to be confirmed
• Wednesday 22 July 2015, 10:00-11:00
• Small lecture room, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

If you have a question about this talk, please contact Microsoft Research Cambridge Talks Admins.

In cryptography, the common approach to defining secure channels 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 interfaces instead, being exposed to the risk that the network (possibly under adversarial control) may deliver arbitrary fragments of ciphertexts to the receiver.

In this talk I will present our recent study of stream-based channels, which addresses this deficiency by proposing functionality and security notions that take the peculiarities of streams into account. Moreover, we prove (a generalization of) a well-known composition result, stating that chosen-plaintext indistinguishability and ciphertext integrity together imply chosen-ciphertext indistinguishability, for the setting of streaming channels. As a feasibility result, we show how to construct a stream-based channel from authenticated encryption.

This talk is part of the Microsoft Research Cambridge, public talks series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge talks
• Chris Davis' list
• Guy Emerson's list
• Interested Talks
• Microsoft Research Cambridge, public talks
• Optics for the Cloud
• PMRFPS's
• School of Technology
• Small lecture room, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB
• Trust & Technology Initiative - interesting events
• bld31
• ndk22's list
• ob366-ai4er
• personal list
• rp587

Note that ex-directory lists are not shown.