Authors:
  Benedikt Schmidt <benedikt.schmidt@inf.ethz.ch>
  Simon Meier      <simon.meier@inf.ethz.ch>

Contributors:
  protocol models: Cas Cremers <cas.cremers@inf.ethz.ch>
  web interface:   Cedric Staub <cs@cssx.ch