| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
The DEEPSEC prover
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.
Cited literature [24 references]
https://hal.inria.fr/hal-01763138
Contributor : Steve Kremer Connect in order to contact the contributor
Submitted on : Tuesday, April 10, 2018 - 5:45:35 PM
Last modification on : Wednesday, November 3, 2021 - 7:56:46 AM
Contributor : Steve Kremer Connect in order to contact the contributor
Submitted on : Tuesday, April 10, 2018 - 5:45:35 PM
Last modification on : Wednesday, November 3, 2021 - 7:56:46 AM
File
main.pdf
Files produced by the author(s)