Schedule:

A provisional schedule for the workshop has now been published. We start at 9:30 on Thursday 12th (tea and coffee available from 9am), and will conclude after tea on the afternoon of Friday 13th (about 4pm).

Workshop announcement:

The Twentieth International Workshop on Security Protocols will take place from Thursday April 12th to Friday April 13th, 2012 at Sidney Sussex College, Cambridge, England.

As with previous years, attendance at the International Workshop on Security Protocols is by invitation only.

Theme:

The theme of this year's workshop is "Bringing Protocols to Life".

Animation of protocol specifications and automation of protocol correctness proofs seem to be converging -- or are they? Should abstract protocol modelling be extended to cover the embedding of security protocols into the run-time environment and the management of the system resources that they require? Do we need to model the application, and at what level of abstraction? What hidden assumptions are we making?

The theme itself is not intended to restrict the topic of your paper, but to help provide a particular perspective and to focus the discussions. Our intention is to stimulate discussion likely to lead to conceptual advances, or to promising new lines of investigation, rather than merely to consider finished work.

Pre-proceedings will be provided at the workshop. The proceedings of previous workshops in this series have been published by Springer-Verlag as Lecture Notes in Computer Science (see LNCS 6615, 5964, 5087, 4631, 3957, 3364, 2845, 2467, 2133, 1796, 1550, 1361 and 1189). If you have not previously attended the Security Protocols Workshop, you may find it helpful to refer to these to get an idea of the flavour.

Timetable:

Mar 31st Revised papers due and deadline for registration

April 12th Workshop in Cambridge

Action:

If you have been invited to the workshop, don't forget to send us a revised copy of your paper (for inclusion in the pre-proceedings) by the deadline above. You should also register using the form provided.

Contact:

If you have any enquiries about the workshop then you might want to look at the rules, but if your question is not answered there, please contact one of the organizing committee:

* Chairman: Bruce Christianson (Email: B.Christianson AT herts.ac.uk)
Professor of Informatics, University of Hertfordshire

* Paper submission to: James A. Malcolm (Email: J.A.Malcolm AT herts.ac.uk, Tel: +44-1707-284310).