NordSec 2013

Invited speakers

 

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