Steve Kremer: The DEEPSEC prover

The DEEPSEC prover

Vincent Cheval, Steve Kremer, and Itsaka Rakotonirina. The DEEPSEC prover. In Proceedings of the 30th International Conference on Computer Aided Verification, Part II (CAV'18), Springer, Oxford, UK, July 2018.
doi:10.1007/978-3-319-96142-2_4

Download

[PDF] [HTML]

Abstract

In this paper we describe the DeepSec prover, a tool for security-protocol analysis deciding equivalence properties, modelled as trace equivalence of two processes in a dialect of the applied pi calculus.

BibTeX

@inproceedings{CKR-cav18,
  abstract =	 {In this paper we describe the DeepSec prover, a tool
                  for security-protocol analysis deciding equivalence
                  properties, modelled as trace equivalence of two
                  processes in a dialect of the applied pi calculus.},
  address =	 {Oxford, UK},
  author =	 {Cheval, Vincent and Kremer, Steve and Rakotonirina,
                  Itsaka},
  booktitle =	 {{P}roceedings of the 30th International Conference
                  on Computer Aided Verification, Part II (CAV'18)},
  doi =		 {10.1007/978-3-319-96142-2_4},
  month =	 jul,
  publisher =	 {Springer},
  title =	 {The DEEPSEC prover},
  year =	 2018,
  acronym =	 {CAV'18},
  nmonth =	 7,
  url =		 {https://hal.inria.fr/hal-01763138/document},
}