GitHub repository: DeepSec-prover/deepsec
Primary language: OCaml
Created: 2017-03-29T11:00:11Z
Description: DEciding Equivalence Properties in SECurity protocols