Authors:
  Benedikt Schmidt <benedikt.schmidt@inf.ethz.ch>
  Simon Meier      <iridcode@gmail.com>

Contributors:
  protocol models, GUI:   Cas Cremers <cas.cremers@cs.ox.ac.uk>
  original web interface: Cedric Staub <cs@cssx.ch
  YubiKey models:         Robert Kuennemann <kunneman@lsv.ens-cachan.fr>