[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear Colleagues,
The workshop described below may be of interest to members of the Types
community. All interested parties are encouraged to attend.
best regards,
Mike Mislove
INFORMATION SECURITY AS A RESOURCE
Thursday 13 – Saturday 15 October, 2011
Oxford University Department of Computer Science
website: http://www.cs.ox.ac.uk/ISR11/
contact: [email protected]
Speakers include:
Ed Blakey (Oxford)
Min Chen (Oxford)
Bob Coecke (Oxford)
Simon Gay (Glasgow)
Michael Huth (Imperial)
Bart Jacobs (Radboud)
Pasquale Malacaria (Queen Mary)
Mike Mislove (Tulane)
Dusko Pavlovic (Royal Holloway)
Peter Ryan (Luxembourg)
Geoff Smith (Florida International)
Bogdan Warinschi (Bristol)
Karoline Wiesner (Bristol)
Glynn Winskel (Cambridge)
The workshop aims to bring together researchers with relevant interests,
including but by no means limited to:
- cryptographic primitives;
- non-standard resources, especially as arising in cryptography/informatics;
- category- and domain-theoretic techniques suitable for abstracting the
relevant
properties of security from the incidental details of protocols’ implementation.
Organisers:
Ed Blakey (Oxford)
Bob Coecke (Oxford)
Mike Mislove (Tulane)
Dusko Pavlovic (Royal Holloway)
This workshop is funded by the EPSRC grant Complexity and Decidability
in Unconventional Computational Models (EP/G003017/1).
http://gow.epsrc.ac.uk/ViewGrant.aspx?GrantRef=EP/G003017/1
