scyther-proof-0.3.0: data/isabelle/AUTHORS
Simon Meier <meiersi@inf.ethz.ch> Student contributor: --------------------- Martin Schaub (extension of Isabelle theories to compromising adversaries)
Simon Meier <meiersi@inf.ethz.ch> Student contributor: --------------------- Martin Schaub (extension of Isabelle theories to compromising adversaries)