Skip to Main content Skip to Navigation
Conference papers

The DEEPSEC prover

Vincent Cheval 1 Steve Kremer 1 Itsaka Rakotonirina 1
1 PESTO - Proof techniques for security protocols
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [24 references]  Display  Hide  Download
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

File

Vignette du document
main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01763138, version 1

Collections

CNRS | UNIV-LORRAINE | LORIA | LORIA-FM | INRIA

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

295

Files downloads

308

 

Contact                    Legal Notice                    Personal Data