Simon Meier <iridcode@gmail.com>

Port to Isabelle 2013:
----------------------
Andreas Lochbihler <andreas.lochbihler@inf.ethz.ch>

Student contributor:
---------------------
Martin Schaub  (extension of Isabelle theories to compromising adversaries)