A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
Primary LanguageIsabelleGNU General Public License v3.0GPL-3.0