The DEEPSEC Prover [chapter]

Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
2018 Lecture Notes in Computer Science  
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.
doi:10.1007/978-3-319-96142-2_4 fatcat:vv7xzkd7mzekngvefueu2ihp24