31 January - 2 February 2012
Organisers: Kenny Paterson (London) and Nigel Smart (Bristol)
in association with the Newton Institute programme Semantics and Syntax: A Legacy of Alan Turing
(9 January - 6 July 2012)
The workshop aims to bring together researchers who work in theoretical aspects of cryptography (principally, provable security of protocols) with people working on applied aspects of cryptography, particularly people involved in standardization and in industrial deployment of cryptography. The main goal of the workshop is to strengthen the dialogue between these two groups of people, which is currently perceived to be quite weak. Ultimately, we aim to make a start on bridging the divide between what academic cryptographers believe should be the goals of cryptographic protocol design and what is actually deployed in the real world. The potential benefits of doing so are:
Speakers will include:
The Workshop is supported by the Newton Institute, the eCrypt-2 European Network of Excellence in Cryptography and by the EPSRC Leadership Fellowship award of Prof. Kenny Paterson.