The DEEPSEC prover - Archive ouverte HAL Access content directly
Conference Papers Year :

The DEEPSEC prover

(1) , (1) , (1)
1
Vincent Cheval
Proof techniques for security protocols
Steve Kremer
Proof techniques for security protocols
CV
Itsaka Rakotonirina
Proof techniques for security protocols

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.

Domains

Computer Science [cs] Cryptography and Security [cs.CR]
Fichier principal
Vignette du fichier
main.pdf (239.27 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Steve Kremer  : Connect in order to contact the contributor

https://hal.inria.fr/hal-01763138

Submitted on : Tuesday, April 10, 2018-5:45:35 PM

Last modification on : Friday, February 4, 2022-3:33:11 AM

Download

Dates and versions

hal-01763138 , version 1 (10-04-2018)

Identifiers

  • HAL Id : hal-01763138 , version 1

Cite

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 Dublin Core DC Terms EndNote Datacite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM
194 View
279 Download

Share

Gmail Facebook Twitter LinkedIn More