NordSec 2013

We have the pleasure of announcing the following invited lecturers to NordSec 2013:

• David Basin, ETH Zurich, Switzerland
  Developing Security Protocols by Refinement
• Gilles Barthe, IMDEA Software Institute, Spain
  Towards verified implementations of cryptographic constructions