Cryptography and secure channels
Kenny Paterson (Royal Holloway, UK)

In this talk, we will look at how cryptography is used to build secure channels in IPsec, SSL/TLS and SSH. In particular, we will study what current cryptographic theory can tell us about the security of these important protocols, and what it cannot.