The DEEPSEC Prover
Vincent Cheval‚ Steve Kremer and Itsaka Rakotonirina
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.
Book Title
Computer Aided Verification − 30th International Conference‚ CAV 2018‚ Held as Part of the Federated Logic Conference‚ FloC 2018‚ Oxford‚ UK‚ July 14−17‚ 2018‚ Proceedings‚ Part II
Editor
Hana Chockler and Georg Weissenbacher
Pages
28–36
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
10982
Year
2018