Abstract : 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.
https://hal.inria.fr/hal-01763138
Contributor : Steve Kremer
<>
Submitted on : Tuesday, April 10, 2018 - 5:45:35 PM
Last modification on : Tuesday, December 18, 2018 - 4:38:25 PM
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina. The DEEPSEC prover. CAV 2018 - 30th International Conference on Computer Aided Verification, Jul 2018, Oxford, United Kingdom. ⟨hal-01763138⟩
