The DEEPSEC Prover
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina · Lecture notes in computer science · 2018
In this paper we describe the DeepSec prover, a tool for security protocol analysis. It decides equivalence properties modelled as trace equivalence of two processes in a dialect of the applied pi calculus.