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 : Monday, August 19, 2019 - 7:02:01 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⟩
