Simon Meier <meiersi@inf.ethz.ch>

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