When Is a Protocol Broken? (Transcript of Discussion)

Hello everyone, and welcome to the 15th International Security Protocols Workshop. I know that we’re used to having these workshops in Cambridge, but we have a tradition that once every ten years we go to some far-off exotic place instead. The 5th Protocols Workshop was held in Paris, and now this being the 15th one, here we are in sunny Brno. The only credit I can claim for the excellence of the venue and all the arrangements, is that I made the decision to delegate all this to Vashek [Vaclav Matyas]. He and his team have worked extremely hard to do all the local arrangements, and I’m pathetically grateful to them.